Rigorous methods for software construction and analysisJean-Raymond Abrial
Rigorous methods for software construction and analysis
Jean-Raymond Abrial, Uwe Glässer · 2009
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2009
- Language
- English
- Series
- Lecture notes in computer science -- 5115
- Publisher
- Springer
- Editions
- 3
- Pages
- 233
- ISBN
- 9783642114465
Data source: Wikidata
