Cover image for 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
Author:
Aldini, Alessandro. editor.
ISBN:
9783642136788
Physical Description:
VII, 169p. 31 illus. online resource.
Series:
Lecture Notes in Computer Science, 6154
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 6154
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 192413-2001 ONLINE
Searching...

On Order