Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs - Undergraduate Topics in Computer Science - Mauricio Ayala-Rincon - Bücher - Springer International Publishing AG - 9783319516516 - 13. Februar 2017
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Mauricio Ayala-Rincon
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs - Undergraduate Topics in Computer Science 1st ed. 2017 edition

Preis
SFr. 39,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 13. - 21. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.

150 pages, 4 black & white illustrations, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 13. Februar 2017
ISBN13 9783319516516
Verlag Springer International Publishing AG
Seitenanzahl 150
Maße 155 × 235 × 9 mm   ·   244 g
Sprache Deutsch  

Alle Titel von Mauricio Ayala-Rincon ansehen ( u. a. Taschenbuch )