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