Placeholder text
Refinement in Z and Object-Z: Foundations and Advanced Applications
By John Derrick
0 - Default Title
Product details
Edition:
2
Number of Pages:
510
Release Date:
2013-09-12
Publication Date:
2013-09-12
Publisher:
Springer
Languages:
Published:
English,
Original:
English
ISBN10:
1447153545
GPSR Manufacturer Reference:
Weight:
885 g
Currently sold out