[email protected]
We’ll reply within 24 hours
Contact
How to shop
Help
Delivery
Austrian Post 5.99 €
DPD courier 6.49 €
GLS courier 4.49 €
Shopping guide
We’re here for you!
[email protected]
My account
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
▸
Empty :-(
0
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Language
English
English
Book
Paperback
This book§constitutes the refereed proceedings of the 5th International Conference on Abstract§State...
Full description
Libristo code: 02975370
?
161 b
161 b
68.07
€
včetně DPH
Low in stock at our supplier
Shipping in 13-16 days
Delivery to Austria
Delivery to Austria
30-day return policy
You might also be interested in
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.§
About the book
Full name
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Language
English
English
Binding
Book - Paperback
Date of issue
2016
Number of pages
426
EAN
9783319335995
ISBN
3319335995
Libristo code
02975370
Publishers
Springer International Publishing AG
Weight
682
Dimensions
155 x 235 x 235
Categories
Computing & Information Technology
>
Computer science
>
Human–computer interaction
>
User interface design & usability
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
