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

Modular Specification and Verification of Object-Oriented Programs by Peter M?ll

Ø 0.0

0 Bewertungen

66,70 €

Mojave and the Universe Type System. - The Semantics of Mojave. - Modular Specification and Verification of Functional Behavior. - Modular Specification and Verification of Type Invariants. - Formal Background and Notations.

Jetzt bei Ebay:

ISBN-13:

9783540431671
Book Title:

Modular Specification and Verification of Object-Oriented Program
ISBN:

9783540431671

None:

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

Weltweit
Versand ausgeschlossen:

Costa Rica , Dominica , Dominikanische Republik , El Salvador , Guadeloupe , Guatemala , Haiti , Honduras , Jamaika , Martinique , ... und weitere