• Produktbild: FM 2015: Formal Methods
  • Produktbild: FM 2015: Formal Methods
Band 9109

FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.06.2015

Abbildungen

XVI, 156 illus., schwarz-weiss Illustrationen

Herausgeber

Nikolaj Bjørner + weitere

Verlag

Springer

Seitenzahl

610

Maße (L/B/H)

23,5/15,5/3,4 cm

Gewicht

937 g

Auflage

2015

Sprache

Englisch

ISBN

978-3-319-19248-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.06.2015

Abbildungen

XVI, 156 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

610

Maße (L/B/H)

23,5/15,5/3,4 cm

Gewicht

937 g

Auflage

2015

Sprache

Englisch

ISBN

978-3-319-19248-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: FM 2015: Formal Methods
  • Produktbild: FM 2015: Formal Methods
  • Automated circular assume-guarantee reasoning.- Towards formal verification of orchestration computations using the K framework.- Narrowing operators on template abstract domains.