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 - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540418658 - 21 maart 2001
Indien omslag en titel niet overeenkomen, is de titel 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

Prijs
A$ 193,97

Besteld in een afgelegen magazijn

Verwachte levering 31 jul. - 12 aug.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 21 maart 2001
ISBN13 9783540418658
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 594
Afmetingen 156 × 234 × 31 mm   ·   1,39 kg
Uitgever Margaria, Tiziana
Uitgever Wang, Yi
Alles tonen

Meer door Tiziana Margaria

Bekijk alles van Tiziana Margaria ( bijv. Paperback Book )