Abstract State Machines, Alloy, B, TLA, VDM, and Z | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Abstract State Machines, Alloy, B, TLA, VDM, and Z
  • #

Abstract State Machines, Alloy, B, TLA, VDM, and Z

54.99 EUR 53.49 EUR 3% Off

Die Proceedings der ABZ‑Konferenz 2018 präsentieren aktuelle Forschung zu formalen Modellen: von abstrakten Zustandsmaschinen über Alloy bis zu B, TLA, VDM und Z, ergänzt durch praxisnahe Beispiele und theoretische Fortschritte.

Teilen:

Ähnliche Produkte

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

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

53.49 EUR

Abstract State Machines, Alloy, B, VDM, and Z

53.49 EUR
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings

Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings

53.24 EUR
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

52.94 EUR
ABZ 2014: The Landing Gear Case Study

ABZ 2014: The Landing Gear Case Study

53.49 EUR
Abstract State Machines Alloy B TLA VDM and Z

Abstract State Machines Alloy B TLA VDM and Z

42.79 EUR