Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
The book delves into the challenges of formal verification in programming, emphasizing the necessity for automatic synthesis and analysis. It introduces logical systems for reasoning about programs and discusses encoding specifications for computational interpretation. Additionally, it thoroughly explores the mathematical foundations essential for the synthesis and analysis processes in computer programming, providing a comprehensive understanding of these critical concepts.
Buchkauf
Constructive Analysis and Synthesis of Programs, Marco Benini
- Sprache
- Erscheinungsdatum
- 2009
- product-detail.submit-box.info.binding
- (Hardcover)
Wir benachrichtigen dich per E-Mail.
Lieferung
- Gratis Versand in ganz Deutschland!
Zahlungsmethoden
Keiner hat bisher bewertet.