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

Unifying Theories of Programming and Formal Engineering Methods: International T

Ø 0.0

0 Bewertungen

67,84 €

Two of the courses are explicitly related to Hoare and He's Unifying Theories of Programming. - Unifying Theories of Programming in Isabelle. - FORMULA 2.0: A Language for Formal Specifications. Short Title UNIFYING THEORIES OF PROGRAMMI.

Jetzt bei Ebay:

ISBN-13:

9783642397202
Book Title:

Unifying Theories of Programming and Formal Engineering Methods
ISBN:

9783642397202

None:

International Standard : tracked-no signature (7 to 15 business days) 20,90 EUR - Lieferung zwischen 30. June 2025 und 08. 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