Trefferliste "Sriram Sankaranarayanan" - alle Bücher

Ihre Suche nach "Sriram Sankaranarayanan" (Bücher) ergab 4 Treffer.

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,51* Aktueller Preis: EUR 63,51

Artikel merken

In den Warenkorb

Menge ändern

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,51* Aktueller Preis: EUR 63,51

Artikel merken

In den Warenkorb

Menge ändern

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 142,37* Aktueller Preis: EUR 142,37

Artikel merken

In den Warenkorb

Menge ändern

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 164,28* Aktueller Preis: EUR 164,28

Artikel merken

In den Warenkorb

Menge ändern