Detailansicht

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
Springer Verlag GmbH
ISBN/EAN: 9783642136771
Umbreit-Nr.: 2556799

Sprache: Englisch
Umfang: vii, 169 S., 31 s/w Illustr., 169 p. 31 illus.
Format in cm:
Einband: kartoniertes Buch

Erschienen am 11.06.2010
Auflage: 1/2010
€ 53,49
(inklusive MwSt.)
Lieferbar innerhalb 1 - 2 Wochen
Beim Buchhandel bestellen
  • Kurztext
    • Fast track conference proceedingsUnique visibilityState of the art research