E-bok, Engelska, 2016
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Av Miklos Biro, Atif Mashkoor, Klaus-Dieter Schewe, Michael Butler
732 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 2016-05-12
- Språk: Engelska
- Filformat: PDF
- Kopieringsskydd: LCP
- ISBN: 9783319336008
- Förlag: Springer International Publishing
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.