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

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.06.2010

Herausgeber

Alessandro Aldini + weitere

Verlag

Springer Berlin

Seitenzahl

169

Maße (L/B/H)

24/16,1/1,3 cm

Gewicht

284 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-13677-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.06.2010

Herausgeber

Verlag

Springer Berlin

Seitenzahl

169

Maße (L/B/H)

24/16,1/1,3 cm

Gewicht

284 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-13677-1

Herstelleradresse

Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg
DE
ProductSafety@springernature.com

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.