articole
(gol)
Contact
Cont 
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.
citește totul
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.
ascunde descrierea
- Editură: Springer, Berlin
- Cod:
- Anul publicării: 2019
- Limba: Engleză
- Legarea: Legată
- Număr de pagini: 205
- Lățimea ambalajului: 15.5 cm
- Înălțimea ambalajului: 23.5 cm
- Adâncimea ambalajului: 2.2 cm
- Greutatea ambalajului: 530 g
Recenzii