Hoofdkenmerken
Auteur:
Jackson, Paul
Redactie:
Jackson, Paul
Titel:
Computer Aided Verification 22nd International Conference,
Uitgever:
Springer-Verlag Berlin and
ISBN:
9783642142949
Serie:
Lecture Notes in Computer
Editie:
2010 ed.
Land van oorsprong:
Germany
Prijs:
€ 143.75
Verschijningsdatum:
30-06-2010
Bericht:
Tijdelijk niet leverbaar - levertijd onbekend
Inhoudelijke kenmerken
Leesniveau:
Professional & Vocational
Categorie:
Artificial intelligence
Geillustreerd:
169 Illustrations, black and white; XVI, 676 p. 169 illus.
Dewey code:
004.24
Technische kenmerken
Verschijningsvorm:
Paperback / softback
Paginas:
676
Inhoud: Constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.
nl
en
