Formal Methods for Quantitative Aspects of Programming Languages [E-Book] : 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
Saved in:
Full text |
|
Personal Name(s): | Aldini, Alessandro, editor |
Bernardo, Marco, editor / Pierro, Alessandra, editor / Wiklicky, Herbert, editor | |
Imprint: |
Berlin, Heidelberg :
Springer-Verlag Berlin Heidelberg,
2010
|
Physical Description: |
online resource |
ISBN: |
9783642136788 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture Notes in Computer Science ;
6154 |
Subject (LOC): |
Description not available. |