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

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner a

Ø 0.0

0 Bewertungen

67,25 €

Published to honour both Dines Bj. Models and Software Model Checking of a Distributed File Replication System. - A Denotational Semantics for Handel-C. - Relating Domain Concepts Intensionally by Ordering Connections.

Jetzt bei Ebay:

ISBN-13:

9783540752202
Book Title:

Formal Methods and Hybrid Real-Time Systems
ISBN:

9783540752202

None:

International Standard : tracked-no signature (7 to 15 business days) 31,46 EUR - Lieferung zwischen 01. July 2025 und 11. 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