1st ed. 2016
Paperback (11 May 2016)
Save $0.01
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book
constitutes the refereed proceedings of the 5th International Conference on Abstract
State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in
May 2016.
The 17 full and 15 short papers presented in this volume were carefully
reviewed and selected from 61 submissions. They record the latest research
developments in state-based formal methods Abstract State Machines, Alloy, B,
Circus, Event-B, TLS+, VDM and Z.
| ISBN: | 9783319335995 |
| Publisher: | Springer International Publishing |
| Imprint: | Springer |
| Pub date: | 11 May 2016 |
| Edition: | 1st ed. 2016 |
| DEWEY: | 005.1 |
| DEWEY edition: | 23 |
| Language: | English |
| Number of pages: | 426 |
| Weight: | 626g |
| Height: | 235mm |
| Width: | 155mm |
| Spine width: | 23mm |
$18.14off
Paperback
Published 16 Oct 2020
Save $18.14
$9.31off
Paperback
Published 31 Aug 2023
Save $9.31
$33.69off
Paperback
Published 11 Oct 2005
Save $33.69
$2.69off
Hardback
Published 28 Sep 2023
Save $2.69
