FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings /

This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in November 2009 in the course of the first International Formal Methods Week, FMWeek 2009. The 45 revised fu...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Cavalcanti, Ana (Éditeur intellectuel), Dams, Dennis (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Édition:1st ed. 2009.
Collection:Programming and Software Engineering, 5850
Sujets:
Software engineering.
User interfaces (Computer systems).
Human-computer interaction.
Computer science.
Compilers (Computer programs).
Computer programming.
Software Engineering.
User Interfaces and Human Computer Interaction.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Programming Techniques.
Accès en ligne:Texto Completo

Internet

Texto Completo

Items no disponibles

Informations d'exemplaires de

Documents similaires