Kniha momentálne nie je na sklade
Viac o knihe
Focusing on the challenges of mathematically proving programs, this book introduces a framework for creating reusable mathematical models specifically for EIFFEL contracts. It emphasizes the Design by Contract(TM) method, presenting the Intermediate Functional Language (IFL) tailored for high-level mathematical structures. The book showcases the Mathematical Model Library (MML), which facilitates expressive model contracts in IFL, and includes tools for extracting proof obligations. It targets advanced software engineers and researchers interested in automating program proofs and specifying complex systems.
Nákup knihy
Reusable Mathematical Models, Tobias Widmer
- Jazyk
- Rok vydania
- 2012
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.