Verwandte Artikel zu Abstract State Machines, Alloy, B, TLA, VDM, and Z:...

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

 
9783319336015: Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Softcover
ISBN 10: 3319336010 ISBN 13: 9783319336015
Verlag: Springer, 2016

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.
The 17 full and 15 short papers presented in this volume were carefullyreviewed and selected from 61 submissions. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2016
Sprache
Englisch
ISBN 10 
3319336010
ISBN 13 
9783319336015
Einband
Tapa blanda
Anzahl der Seiten
450
Herausgeber
Mashkoor Atif, Schewe Klaus-Dieter, Butler Michael
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie kennen Autor und Titel des Buches und finden es trotzdem nicht auf ZVAB? Dann geben Sie einen Suchauftrag auf und wir informieren Sie automatisch, sobald das Buch verfügbar ist!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9783319335995: Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings: 9675 (Theoretical Computer Science and General Issues)

Vorgestellte Ausgabe

ISBN 10:  3319335995 ISBN 13:  9783319335995
Verlag: Springer, 2016
Softcover