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

The two-volume set LNCS 7609 and 7610 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. The two volumes contain papers presented in the topic...

Description complète

Détails bibliographiques

Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Margaria, Tiziana (Éditeur intellectuel), Steffen, Bernhard (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Édition:	1st ed. 2012.
Collection:	Theoretical Computer Science and General Issues, 7609
Sujets:	Software engineering. Compilers (Computer programs). Operating systems (Computers). Computer science. Artificial intelligence. Software Engineering. Compilers and Interpreters. Operating Systems. Theory of Computation. Computer Science Logic and Foundations of Programming. Artificial Intelligence.
Accès en ligne:	Texto Completo