• Formal Methods for Quantitativ...
  • Bestand

Treffer: Formal Methods for Quantitative Aspects of Programming Languages

Titel:
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 / edited by Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Verantwortlich:
Aldini, Alessandro (Herausgeber); Bernardo, Marco (Herausgeber); Di Pierro, Alessandra (Herausgeber); Wiklicky, Herbert (Herausgeber)
Ausgabe:
1st edition 2010
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (VII, 169 Seiten) : 31 illus.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 6154
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods for Quantitative Aspects of Programming Languages. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - ISBN 9783642136771
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783642136788 ; 3642136788 ; 9783642136771 (Sekundärausgabe) ; 9783642136795 (Sekundärausgabe)
DOI:
10.1007/978-3-642-13678-8

Zusatz-Informationen

Zusatz-Funktionen