Het boek is momenteel niet op voorraad
Meer over het boek
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.
Een boek kopen
Constructive Analysis and Synthesis of Programs, Marco Benini
- Taal
- Jaar van publicatie
- 2009
- product-detail.submit-box.info.binding
- (Hardcover)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.