Knihu momentálně nemáme skladem
Více o knize
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 vydání
- 2009
- product-detail.submit-box.info.binding
- (pevná)
Jakmile se objeví, pošleme e-mail.
Doručení
Platební metody
Nikdo zatím neohodnotil.