Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully review...

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, 2014.
Édition:	1st ed. 2014.
Collection:	Theoretical Computer Science and General Issues, 8803
Sujets:	Software engineering. Compilers (Computer programs). Computer science. Machine theory. Artificial intelligence. Software Engineering. Compilers and Interpreters. Theory of Computation. Formal Languages and Automata Theory. Computer Science Logic and Foundations of Programming. Artificial Intelligence.
Accès en ligne:	Texto Completo