Bestellen Terug

Hoofdkenmerken

Auteur:	Huth, Michael
Redactie:	Huth, Michael
Titel:	Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783540712084
Serie:	Lecture Notes in Computer
Editie:	2007 ed.
Land van oorsprong:	Germany
Prijs:	€ 155.73
Verschijningsdatum:	09-03-2007
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Computer programming / software development
Geillustreerd:	XX, 740 p.
Dewey code:	005.12

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	740
Hoogte mm.:	229
Breedte mm.:	152
Gewicht gr.:	2320

 

Inhoud:

Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems.