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 |