Details

ISBN/EAN: 978-3-642-13677-1
Einband: kartoniertes Buch
Weitere Details
Auflage:
1. Auflage 2010
Erschienen am:
Sprache:
English
Umfang:
vii, 169 S., 31 s/w Illustr., 169 p. 31 illus.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg


Weitere Details arrow_forward_ios

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, Lecture Notes in Computer Science 6154 - Programming and Software Engineering

53,49 €
inkl. MwSt.

Lieferbar innerhalb 1 - 2 Wochen