• Produktbild: Abstract State Machines, Alloy, B, TLA, VDM, and Z
  • Produktbild: Abstract State Machines, Alloy, B, TLA, VDM, and Z

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.05.2014

Abbildungen

XVI, 93 illus., schwarz-weiss Illustrationen

Herausgeber

Yamine Ait Ameur + weitere

Verlag

Springer Berlin

Seitenzahl

336

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

534 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-662-43651-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.05.2014

Abbildungen

XVI, 93 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

336

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

534 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-662-43651-6

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)

Die Leseprobe wird geladen.
  • Produktbild: Abstract State Machines, Alloy, B, TLA, VDM, and Z
  • Produktbild: Abstract State Machines, Alloy, B, TLA, VDM, and Z
  • Fundamental contributions.- Applications in industrial contexts.- Tool developments and improvements.