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öcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540418658 - 21 mars 2001
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 1.369

Beställningsvara

Förväntad leverans 30 jul - 9 aug

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista

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

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 21 mars 2001
ISBN13 9783540418658
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 594
Mått 156 × 234 × 31 mm   ·   1,39 kg
Redaktör Margaria, Tiziana
Redaktör Wang, Yi
Visa alla

Fler produkter med Tiziana Margaria

Se alt med Tiziana Margaria ( t.ex. Pocketbok )