International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2010 :)
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
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 /
by:
Aldini, Alessandro.; SpringerLink (Online service); International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2010 :)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Antibodies.
Formal methods (Computer science)
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl.Internet)
Computer Science.