Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development Axel Schairer Green ISBN: 0646152017
Pay in 4 interest-free payments of $8.75 Learn more
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Aug 16 - Aug 21

























