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
978-3-642-13678-8
Computer Science and Engineering
Formal methods (Computer science)--Congresses
Programming languages (Electronic computers)--Congresses
Monoclonal antibodies--Congresses