Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings - Lecture - Tiziana Margaria - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540418658 - 21. März 2001
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Tiziana Margaria
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings - Lecture

Preis
€ 98,99

Bestellware

Lieferdatum: ca. 6. - 12. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

This title comprises selected papers covering topics such as symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, and software verification,

594 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 21. März 2001
ISBN13 9783540418658
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 594
Maße 156 × 234 × 31 mm   ·   1,39 kg
Sprache Deutsch  
Redakteur Margaria, Tiziana
Redakteur Wang, Yi

Weitere Titel von Tiziana Margaria

Alle anzeigen

Alle Titel von Tiziana Margaria ansehen ( u. a. Taschenbuch )