Treffer: 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

Title:
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
Authors:
Bernardo, Marco.
Contributors:
Cortellessa, Vittorio., Pierantonio, Alfonso.
Publisher Information:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Publication Year:
2012
Physical Description:
digital.
Series:
Lecture Notes in Computer Science
Lecture notes in computer science
Subject Terms:
Information Systems Applications (incl. Internet), Software engineering., Computer science., Software Engineering/Programming and Operating Systems., Mathematical Logic and Formal Languages., Programming Languages, Compilers, Interpreters., Management of Computing and Information Systems.
Original Identifier:
(Springer)9783642309823
Document Type:
Buch Book
Language:
English
ISBN:
978-3-642-30982-3
3-642-30982-8
Rights:
This record is part of the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others, OCLC Online Computer Library Center, Inc. and the Library of Congress.
Accession Number:
edshlc.013282947.9
Database:
Harvard Library Bibliographic Dataset