The book is currently out of stock
Parameters
Book purchase
Rigorous methods for software construction and analysis, Jean-Raymond Abrial
- Language
- Released
- 2009
We’ll notify you via email once we track it down.
Payment methods
- Title
- Rigorous methods for software construction and analysis
- Language
- English
- Authors
- Jean-Raymond Abrial
- Publisher
- Springer
- Publisher
- 2009
- Format
- Paperback
- ISBN10
- 3642114466
- ISBN13
- 9783642114465
- Category
- Computers, IT, Programming