Smartbooks

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Hoofdkenmerken

Auteur:	Steffen, Bernhard
Redactie:	Steffen, Bernhard
Titel:	Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783642340253
ISBN boekversie:	9783642340260
Serie:	Lecture Notes in Computer Science
Editie:	2012 ed.
Land van oorsprong:	Germany
Prijs:	€ 67.04
Verschijningsdatum:	11-09-2012
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Categorie:	Artificial intelligence
Geillustreerd:	170 Illustrations, black and white; XVI, 617 p. 170 illus.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	617
Hoogte mm.:	235
Breedte mm.:	155

Inhoud:

Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.