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














![Morphling [Urza's Saga] Horror Pirate](https://cdn.shopify.com/s/files/1/0361/1479/2588/products/ff462fd2-5079-5a24-99c2-b2d640fdc301_5e6285eb-f9bb-4c85-8f20-c9be6badbb75.jpg?v=1632531110)
![Swamp [Guru] Commander 2019](https://cdn.shopify.com/s/files/1/0361/1479/2588/products/0bce1fc5-fa77-50b1-b6c6-05900f688a7a.jpg?v=1709307272)





![YuGiOh Yu-Gi-Oh: Return of The Duelist Booster Box [1st Edition] : Toys & Games](https://m.media-amazon.com/images/I/41xHopSjVkL._AC_UF894,1000_QL80_.jpg)


