Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science)

by Klaus-DieterSchewe (Editor), YamineAitAmeur (Editor)

New
Paperback
2014
$59.45

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014.

Synopsis

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014.

$59.45

Save:$3.89 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 352
Edition: 2014
Publisher: Springer
Published: 21 May 2014
ISBN 10: 3662436515
ISBN 13: 9783662436516

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science)

New

$59.45

Synopsis

$59.45

More Information