Taschenbuch
Versandfertig in 1-2 Wochen
47,00 €

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

This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.

Sprache:
Englisch

ISBN:
9783319335995

Verlag:
Springer International Publishing AG

Einband:
Taschenbuch

Seitenzahl:
426

Veröffentlicht:
11 Mai 2016

Ausgabe:
12016

Abmessungen:
155x235x23 mm.

Gewicht:
682 g.

47,00 € inkl. MwSt.
~~53,49 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

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

This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.

Kund*innenbewertungen von Abstract State Machines, Alloy, B, TLA, VDM, and Z

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Abstract State Machines, Alloy, B, TLA, VDM, and Z ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

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

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

Kund*innenbewertungen von Abstract State Machines, Alloy, B, TLA, VDM, and Z

Willkommen bei den Tales Buchfreunden und -freundinnen