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. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.
Read More
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. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.
Read Less
Add this copy of Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2016 by Springer International Publishing AG.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Contains: Illustrations, black & white. Theoretical Computer Science and General Issues ; Lecture Notes in Computer Science . XXI, 426 p. 143 illus. Intended for professional and scholarly audience.
Add this copy of Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th to cart. $70.57, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2016 by Springer International Publishing AG.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Contains: Illustrations, black & white. Theoretical Computer Science and General Issues ; Lecture Notes in Computer Science . XXI, 426 p. 143 illus. Intended for professional and scholarly audience.
Add this copy of Abstract State Machines, Alloy, B, Tla, Vdm, and Z: 5th to cart. $80.89, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2016 by Springer.
