-
Anglický jazyk
Computer Aided Verification
Autor: Holger Hermanns
This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials.... Viac o knihe
Na objednávku, dodanie 2-4 týždne
49.49 €
bežná cena: 54.99 €
O knihe
This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking-from foundational and methodological issues to the evaluation of major tools and systems-are addressed.
- Vydavateľstvo: Springer Berlin Heidelberg
- Rok vydania: 2007
- Formát: Paperback
- Rozmer: 235 x 155 mm
- Jazyk: Anglický jazyk
- ISBN: 9783540733676
Nemecký jazyk 
