Cover Image

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 /

This book presents a set of 4 papers accompanying the lectures of leading researchers given at the 10th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, held in Bertinoro, Italy, in June 2010. SFM 2010 was devoted to form...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Aldini, Alessandro. (Editor), Bernardo, Marco. (Editor), Pierro, Alessandra. (Editor), Wiklicky, Herbert. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 6154
Subjects:
Computer science.
Monoclonal antibodies.
Software engineering.
Information systems.
Computer Science.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Antibodies.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl.Internet).
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-13678-8

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-13678-8

Similar Items