Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriented and the more recent component-based software engineering paradigms. Formal methods have been applied...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Aichernig, Bernhard K. (Éditeur intellectuel), de Boer, Frank S. (Éditeur intellectuel), Bonsangue, Marcello M. (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Édition:1st ed. 2012.
Collection:Programming and Software Engineering, 6957
Sujets:
Software engineering.
Compilers (Computer programs).
Operating systems (Computers).
Computer science.
Computer programming.
Software Engineering.
Compilers and Interpreters.
Operating Systems.
Computer Science Logic and Foundations of Programming.
Programming Techniques.
Accès en ligne:Texto Completo

Internet

Texto Completo

Error inesperado del formato de respuesta.
Informations d'exemplaires de

Documents similaires