Košík
tovar
(prázdne)
Kontakt
Účet
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.
prečítať celé
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.
Skryť popis
- Nakladateľ: Springer, Berlin
- Kód:
- Rok vydania: 2019
- Jazyk: Angličtina
- Väzba: Hardback
- Počet strán: 205
- Šírka balenia: 15.5 cm
- Výška balenia: 23.5 cm
- Hĺbka balenia: 2.2 cm
- Váha balenia: 530 g
Recenzie