Descripció: Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced lectures / Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.).

Summary goes here

Guardat en:

Dades bibliogràfiques
Format:	Llibre
Idioma:	anglès
Matèries:	Formal methods (Computer science) Engineering Computer-aided engineering Méthodes formelles (Informatique) Ingénierie Ingénierie assistée par ordinateur Informatique. Computer science. Software engineering. Information Systems. Software Engineering/Programming and Operating Systems. Mathematical Logic and Formal Languages. Programming Languages, Compilers, Interpreters. Information Systems Applications (incl. Internet) Management of Computing and Information Systems. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Descripció
Sumari:	Summary goes here
Descripció de l’ítem:	General Notes
Descripció física:	1 online resource (vii, 437 pages) :illustrations
ISBN:	9783642309823 3642309828