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

Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM, Bertinoro, Italy, June 21-26, 2010 (e-book) - Berlin Springer 2010 - Lecture Notes in Computer Science (LNCS) LNCS Sublibrary : SL 2 – Programming and Software Engineering .

978-3-642-13678-8


Computer Science and Engineering
Formal methods (Computer science)--Congresses
Programming languages (Electronic computers)--Congresses
Monoclonal antibodies--Congresses

Powered by Koha