| Concrete Semantics: With Isabelle/Hol 2014 Edition Contributor(s): Nipkow, Tobias (Author), Klein, Gerwin (Author) |
|
 |
ISBN: 3319105418 ISBN-13: 9783319105413 Publisher: Springer OUR PRICE: $80.74 Product Type: Hardcover - Other Formats Published: December 2014 |
| Additional Information |
| BISAC Categories: - Computers | Programming Languages - General - Computers | Compilers - Mathematics | Logic |
| Dewey: 005.13 |
| Physical Information: 0.75" H x 6.14" W x 9.21" (1.36 lbs) 298 pages |