The book is currently out of stock
Parameters
More about the book
Software -- Software Engineering.
Book purchase
Verification of sequential and concurrent programs, Krzysztof R. Apt
- Language
- Released
- 1997
We’ll notify you via email once we track it down.
Payment methods
- Title
- Verification of sequential and concurrent programs
- Language
- German
- Authors
- Krzysztof R. Apt
- Publisher
- Springer
- Publisher
- 1997
- ISBN10
- 0387948961
- ISBN13
- 9780387948966
- Category
- Computers, IT, Programming
- Description
- Software -- Software Engineering.