Concrete Semantics: With Isabelle/HOL
Share:
Also Available in:
- Amazon
- Audible
- Barnes & Noble
- AbeBooks
- Kobo
More Details
- Format:
- Pages: pages
- Publication:
- Publisher:
- Edition:2014, 2014 ed.
- Language:eng
- ISBN10:3319105418
- ISBN13:9783319105413
- kindle Asin:3319105418
About Author
