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, 2010, Advanced Lectures
Buch in deiner Nähe kaufen
oder
Beschreibung
Fast track conference proceedings Unique visibility State of the art research
Autor*in
Alessandro Aldini
Themen in »Formal Methods for Quantitative Aspects of Programming Languages«
composition description techniques design embedded systems formal methods formalization interaction model checking patterns performance programming programming language quantum computing real-time systems security
Stimmen zu »Formal Methods for Quantitative Aspects of Programming Languages«
Details
ISBN: 9783642136788
Verlag: Springer Berlin
Erscheinung: 26.06.2010