E-bok, Engelska, 2010
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, 2010, Advanced Lectures
Av Herbert Wiklicky, Alessandra Di Pierro, Marco Bernardo, Alessandro Aldini
755 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
Produktinformation
- Utgivningsdatum: 2010-06-26
- Språk: Engelska
- Filformat: PDF
- Kopieringsskydd: LCP
- ISBN: 9783642136788
- Förlag: Springer Berlin Heidelberg
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.