| Refinement in Z and Object-Z: Foundations and Advanced Applications Softcover Repri Edition Contributor(s): Derrick, John (Author), Boiten, Eerke A. (Author) |
|
 |
ISBN: 144716167X ISBN-13: 9781447161677 Publisher: Springer OUR PRICE: $104.49 Product Type: Paperback - Other Formats Published: August 2015 |
| Additional Information |
| BISAC Categories: - Gardening - Mathematics | Logic - Computers | Software Development & Engineering - General |
| Dewey: 005.1 |
| Physical Information: 1.03" H x 6.14" W x 9.21" (1.56 lbs) 492 pages |