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

Preis

€ 126,99

Bestellware

Lieferdatum: ca. 30. Jan - 10. Feb

Unsere Kunden sagen:

14-Tage-Rückgaberecht

Topbewertung bei Trustpilot

Zu deiner iMusic Wunschliste hinzufügen

Eller

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

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
Redakteur	Margaria, Tiziana
Redakteur	Wang, Yi

Alle anzeigen

Weitere Titel von Tiziana Margaria

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