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

Datenverfeinerung: Modellorientierte Beweismethoden und ihr Vergleich von W. Deroeve

Ø 0.0

0 Bewertungen

212,11 €

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:

9780521641708
Book Title:

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

9780521641708

Standardversand:

Standard Int'l Postage 15,47 EUR - Lieferung zwischen 05. June 2025 und 12. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Russische Föderation , Belarus , Serbien , Ukraine , Marshallinseln , Afghanistan , Libyen , Nauru , Somalia , Jemen