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

The Foundations of Program Verification by Kurt Sieber (German) Paperback Book

Ø 0.0

0 Bewertungen

52,79 €

By Kurt Sieber, Jacques Loeckx, Ryan Stansifer. The Foundations of Program Verification. This is a textbook on program verification. The subject is treated with mathematical precision, and many examples are included.

Jetzt bei Ebay:

ISBN-13:

9783322967541
Book Title:

The Foundations of Program Verification
ISBN:

9783322967541

None:

International Standard : tracked-no signature (7 to 15 business days) 18,17 EUR - Lieferung zwischen 28. July 2025 und 07. August 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

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