| Concrete Semantics: With Isabelle/Hol Softcover Repri Edition Contributor(s): Nipkow, Tobias (Author), Klein, Gerwin (Author) |
|
 |
ISBN: 331935759X ISBN-13: 9783319357591 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: September 2016 |
| Additional Information |
| BISAC Categories: - Computers | Compilers - Computers | Programming Languages - General - Mathematics | Logic |
| Dewey: 005.13 |
| Physical Information: 0.66" H x 6.14" W x 9.21" (0.97 lbs) 298 pages |