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 - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540418658 - 21 mars 2001
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 118,99

Commandé depuis un entrepôt distant

Livraison prévue 7 - 16 avr.

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

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

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 21 mars 2001
ISBN13 9783540418658
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 594
Dimensions 156 × 234 × 31 mm   ·   1,39 kg
Éditeur Margaria, Tiziana
Éditeur Wang, Yi
Afficher tout

Plus par Tiziana Margaria

Voir tous les Tiziana Margaria ( par ex. Paperback Book )