Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Abstract State Machines, Alloy, B, TLA, VDM, and Z
- 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Engelsk
Bogcover for Abstract State Machines, Alloy, B, TLA, VDM, and Z af , 9783319335995
Specifikationer
Sprog:
Engelsk
Sider:
426
ISBN-13:
9783319335995
Indbinding:
Paperback
ISBN-10:
3319335995
Udg. Dato:
11 maj 2016
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
11 maj 2016

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

- 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Engelsk
Paperback 2016
Format:

Bog beskrivelse

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.

... Vis mere

Forlags Vejl. pris
524,24 kr
Hos Booktok
409 kr
spar 22%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
426
ISBN-13:
9783319335995
Indbinding:
Paperback
ISBN-10:
3319335995
Udg. Dato:
11 maj 2016
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
11 maj 2016
Finder produkter...
Kategori sammenhænge