The book is currently out of stock
Parameters
Categories
Book purchase
Automated theorem proving in software engineering, Johann M. Ph. Schumann
- Language
- Released
- 2001
We’ll notify you via email once we track it down.
Payment methods
- Title
- Automated theorem proving in software engineering
- Language
- English
- Authors
- Johann M. Ph. Schumann
- Publisher
- Springer
- Publisher
- 2001
- ISBN10
- 3540679898
- ISBN13
- 9783540679899
- Category
- Computers, IT, Programming