Formal Methods for Model-Driven Engineering
Subtitle: 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
By: edited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio
Contributors: Cortellessa, Vittorio; Pierantonio, Alfonso; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7320
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642309823
Subjects: Mathematical Logic and Formal Languages; Software Engineering/Programming and Operating Systems; Information Systems; Software engineering; Information Systems Applications (incl. Internet); Computer science; Management of Computing and Information Systems; Programming Languages, Compilers, Interpreters