Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures

Saved in:
Bibliographic Details
Main Authors International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Aldini, Alessandro, Bernardo, Marco, Di Pierro, Alessandra, Wiklicky, Herbert
Format Book
LanguageEnglish
Published Berlin Springer 2010
Subjects
Bertinoro swd
Formal methods (Computer science) > Congresses
Formale Methode swd
Programmanalyse swd
Programmiersprache swd
Programming languages (Electronic computers) > Congresses
Online AccessGet full text

Cover

More Information
Bibliography:"Tutorial"--cover
Includes bibliographical references and index
ISBN:9783642136771
364213677X