Formal methods apply logic and simple mathematics to programming.
Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 5 featured editions. View all 5 editions?
Edition | Availability |
---|---|
1
Way of Z: Practical Programming with Formal Methods
2011, Cambridge University Press
in English
0511888473 9780511888472
|
aaaa
Libraries near you:
WorldCat
|
2
Way of Z: Practical Programming with Formal Methods
2010, Cambridge University Press
in English
0511574924 9780511574924
|
zzzz
Libraries near you:
WorldCat
|
3
The way of Z: practical programming with formal methods
1997, Cambridge University Press
in English
0521550416 9780521550413
|
zzzz
Libraries near you:
WorldCat
|
4
The Way of Z: Practical Programming with Formal Methods
November 28, 1996, Cambridge University Press
Paperback
in English
0521559766 9780521559768
|
zzzz
Libraries near you:
WorldCat
|
5
The Way of Z: Practical Programming with Formal Methods
November 28, 1996, Cambridge University Press
Hardcover
in English
0521550416 9780521550413
|
zzzz
Libraries near you:
WorldCat
|
Community Reviews (0)
Feedback?History
- Created November 18, 2022
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
November 18, 2022 | Created by ImportBot | Imported from Better World Books record |