Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation - Wolfgang Schreiner - Bücher - Springer International Publishing AG - 9783031249365 - 13. April 2024
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Wolfgang Schreiner
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation 2023 edition

Preis
SFr. 47,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 8. - 16. 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

Auch vorhanden als:

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software. The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science;

271 pages, 53 Illustrations, color; 26 Illustrations, black and white; XII, 271 p. 79 illus., 53 ill

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 13. April 2024
ISBN13 9783031249365
Verlag Springer International Publishing AG
Seitenanzahl 271
Maße 150 × 220 × 10 mm   ·   435 g
Sprache Deutsch  

Weitere Titel von Wolfgang Schreiner

Alle anzeigen

Alle Titel von Wolfgang Schreiner ansehen ( u. a. Taschenbuch , Gebundenes Buch und Buch )