The book is currently out of stock
Formal methods at the crossroads
Authors
Parameters
Book purchase
Formal methods at the crossroads, Bernhard K. Aichernig
- Language
- Released
- 2003
We’ll notify you via email once we track it down.
Payment methods
- Title
- Formal methods at the crossroads
- Language
- English
- Authors
- Bernhard K. Aichernig
- Publisher
- Springer
- Released
- 2003
- Format
- Paperback
- ISBN10
- 3540205276
- ISBN13
- 9783540205272
- Series
- Lecture notes in computer science
- Category
- Computers, IT, Programming