Results
|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
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 / edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
|
|
5.
|
|
|
6.
|
|