Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

1st ed. 2016

Book Details

Format Paperback / Softback

Book Series Lecture Notes in Computer Science

ISBN-10 3319335995

ISBN-13 9783319335995

Edition 1st ed. 2016

Publisher Springer International Publishing AG

Imprint Springer International Publishing AG

Country of Manufacture CH

Country of Publication GB

Publication Date May 11th, 2016

Print length 426 Pages

Product Classification: Compilers Software Engineering Mathematical theory of computation

Ksh 8,100.00

Werezi Extended Catalogue Delivery in 28 days

Delivery Location

County

Location

Delivery fee: Select location

Delivery in 28 days

Secure

Quality

Fast

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.

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.

Get Abstract State Machines, Alloy, B, TLA, VDM, and Z by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.

Mind, Body, & Spirit

The Mamba Mentality

Sub Total:

Digital Library
Coming Soon

Our digital collection is currently being curated to ensure the best possible reading experience on Werezi. We'll be launching our Ebooks platform shortly.