zboží
(prázdné)
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.
číst celé
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.
schovat popis
- Nakladatel: Springer, Berlin
- Kód:
- Rok vydání: 2019
- Jazyk: Angličtina
- Vazba: Vázaná
- Počet stran: 205
- Šířka balení: 15.5 cm
- Výška balení: 23.5 cm
- Hloubka balení: 2.2 cm
- Váha balení: 530 g
Recenze