áru
(üres)
Kapcsolat
Fiók 
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.
tovább
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.
leírás elrejtése
- Kiadó: Springer, Berlin
- Kód:
- Kiadás éve: 2019
- Nyelv: Angol
- Kötés: Kötött
- Oldalak száma: 205
- Csomag szélessége: 15.5 cm
- Csomag magassága: 23.5 cm
- Csomag mélysége: 2.2 cm
- Csomag súlya: 530 g
Recenzió