| Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday 2013 Edition Contributor(s): Liu, Zhiming (Editor), Woodcock, Jim (Editor), Zhu, Huibiao (Editor) |
|
 |
ISBN: 3642396976 ISBN-13: 9783642396977 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: July 2013 |
| Additional Information |
| BISAC Categories: - Computers | Computer Science - Computers | Software Development & Engineering - General - Computers | Computer Simulation |
| Dewey: 003.3 |
| Series: Lecture Notes in Computer Science / Theoretical Computer Sci |
| Physical Information: 0.87" H x 6.14" W x 9.21" (1.31 lbs) 413 pages |