Refinement in Z and Object-Z: Foundations and Advanced Applications

by John Derrick (Author), Eerke A. Boiten (Contributor)

New
Paperback
2015
$111.72

$111.72

Save:$9.55 (8%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 512
Edition: Softcover reprint of the original 2nd ed. 2014
Publisher: Springer
Published: 23 Aug 2015
ISBN 10: 144716167X
ISBN 13: 9781447161677

Refinement in Z and Object-Z: Foundations and Advanced Applications

New

$111.72

$111.72

More Information