Verified Software: Theories, Tools, Experiments
2008·546 pages·en
Publisher, ISBN & more
- Publisher
- Springer-Verlag Berlin Heidelberg
- ISBN
- 9783540691471
Similar books
Rummaging the shelves…
Reviews
Loading reviews…