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

ZB 2000: Formal Specification and Development in Z and B: First International Co

Ø 0.0

0 Bewertungen

68,50 €

A Formal Mapping between UML Models and Object-Z Specifications. - Recursive Schema Definitions in Object-Z. - On Mutually Recursive Free Types in Z.- Reasoning Inductively about Z Specifications via Unification.

Jetzt bei Ebay:

ISBN-13:

9783540679448
Book Title:

ZB 2000: Formal Specification and Development in Z and B
ISBN:

9783540679448

None:

International Standard : tracked-no signature (7 to 15 business days) 53,86 EUR - Lieferung zwischen 28. May 2025 und 06. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Amerikanisch-Samoa , Fidschi , Französisch-Polynesien , Neukaledonien , Papua-Neuguinea , Tonga , Tuvalu , Vanuatu , Samoa (Westsamoa) , Algerien , ... und weitere