Produktbild: Formal Methods for Quantitative Aspects of Programming Languages
Band 6154

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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.06.2010

Abbildungen

VII, 169 p. 31 illus.

Herausgeber

Alessandro Aldini + weitere

Verlag

Springer Berlin

Seitenzahl

169

Sprache

Englisch

ISBN

978-3-642-13677-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.06.2010

Abbildungen

VII, 169 p. 31 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

169

Sprache

Englisch

ISBN

978-3-642-13677-1

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Formal Methods for Quantitative Aspects of Programming Languages
  • Probabilistic Semantics and Program Analysis.- Measurement-Based and Universal Blind Quantum Computation.- Information Theory and Security: Quantitative Information Flow.- Performance and Security Tradeoff.