Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are...

Description complète

Détails bibliographiques

Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Canal, Carlos (Éditeur intellectuel), Idani, Akram (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Édition:	1st ed. 2015.
Collection:	Programming and Software Engineering, 8938
Sujets:	Computer science. Software engineering. Compilers (Computer programs). Machine theory. Computer Science Logic and Foundations of Programming. Software Engineering. Compilers and Interpreters. Formal Languages and Automata Theory.
Accès en ligne:	Texto Completo