Concrete Semantics: With Isabelle/Hol
| Author: Tobias Nipkow |
| Publisher: Springer |
| Publication Date: Dec 15, 2014 |
| Number of Pages: 298 pages |
| Binding: Hardback or Cased Book |
| ISBN-10: 3319105418 |
| ISBN-13: 9783319105413 |
Related Products
