Kniha momentálne nie je na sklade
Viac o knihe
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.
Nákup knihy
Constructive Analysis and Synthesis of Programs, Marco Benini
- Jazyk
- Rok vydania
- 2009
- product-detail.submit-box.info.binding
- (pevná)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.