C.A.R. Hoare
VDM '90 VDM and Z -- Formal Methods in Software Development
C.A.R. Hoare · 1990
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonBook details
- Year
- 1990
- Language
- English
- Publisher
- Springer
- Editions
- 1
- Pages
- 580
- ISBN
- 9783540525134
Data source: Wikidata
