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

Interactive Theorem Proving in Software Engineering by Florian Kamm?ller (Englis

Ø 0.0

0 Bewertungen

41,32 €

Interactive theorem proving is the modern way of formalizing mathe-matics using a computer as a proof assistant, helping solve simple tasks and keeping an order on the proofs. Interactive Theorem Proving in Software Engineering.

Jetzt bei Ebay:

ISBN-13:

9783836457699
Book Title:

Interactive Theorem Proving in Software Engineering
ISBN:

9783836457699

None:

International Standard : tracked-no signature (7 to 15 business days) 13,20 EUR - Lieferung zwischen 19. May 2025 und 26. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Algerien , Angola , Benin , Botsuana , Burkina Faso , Burundi , Kamerun , Kap Verde , Zentralafrikanische Republik , Tschad , ... und weitere