Treffer: 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
Title:
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
Contributors:
Aldini, Alessandro, Bernardo, Marco, Di Pierro, Alessandra, Wiklicky, Herbert
Source:
Lecture Notes in Computer Science ; ISSN 0302-9743 1611-3349 ; ISBN 9783642136771 9783642136788
Publisher Information:
Springer Berlin Heidelberg
Publication Year:
2010
Document Type:
Buch
book
Language:
English
ISBN:
978-3-642-13677-1
978-3-642-13678-8
3-642-13677-X
3-642-13678-8
978-3-642-13678-8
3-642-13677-X
3-642-13678-8
DOI:
10.1007/978-3-642-13678-8
DOI:
10.1007/978-3-642-13678-8.pdf
Availability:
Rights:
Accession Number:
edsbas.9737BFB3
Database:
BASE