| Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at Ictac 2013, Shanghai, 2013 Edition Contributor(s): Liu, Zhiming (Editor), Woodcock, Jim (Editor), Zhu, Huibiao (Editor) |
|
 |
ISBN: 3642397204 ISBN-13: 9783642397202 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 | Intelligence (ai) & Semantics |
| Dewey: 004.015 |
| Physical Information: 0.62" H x 6.14" W x 9.21" (0.92 lbs) 283 pages |