Placeholder text
The Correctness-by-Construction Approach to Programming
0 - Default Title
Product details
Edition:
1
Number of Pages:
280
Release Date:
2012-04-12
Publication Date:
2012-04-12
Publisher:
Springer
Languages:
Published:
English,
Original:
English
ISBN10:
364227918X
GPSR Manufacturer Reference:
Weight:
522 g
Currently sold out