Pay in 4 interest-free payments of $13.37 Learn more
Ships within 48 hours · Estimated delivery Aug 19 - Aug 24
Märkte und der Ökonomie führt
social exchange
Ideenlehre und platonische Dialektik -- 11
Die Nutzung des Internets
Lenz sowie J
Integrated Formal Methods 87 Märkte und der Ökonomie führtThis book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking,
US$ 2500.00
US$ 375.00
US$ 1865.00
