Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Data Refinement: Model-Oriented Proof Methods and Their Comparison by Willem-Pau

Ø 0.0

0 Bewertungen

69,12 €

Part I. Theory: 1. Relations and recursion; 4. Properties of simulation; 5. Notation and semantics; 6. A Hoare logic; 7. Simulation and Hoare logic; 8. An extension to total correctness; 9. Simulation and total correctness; 10.

Jetzt bei Ebay:

ISBN-13:

9780521103503
Book Title:

Data Refinement: Model-Oriented Proof Methods and Their Compariso
ISBN:

9780521103503

None:

International Standard : tracked-no signature (7 to 15 business days) 25,59 EUR - Lieferung zwischen 09. July 2025 und 21. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Algerien , Angola , Benin , Botsuana , Burkina Faso , Burundi , Kamerun , Kap Verde , Zentralafrikanische Republik , Tschad , ... und weitere