Košara
roba
(prazno)
Kontakt
Račun
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.
pročitati sve
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.
sakriti opis
- Izdavač: Springer, Berlin
- Kod:
- Godina izdavanja: 2019
- Jezik: Engleski jezik
- Uvez: Vezana
- Broj stranica: 205
- Širina pakiranja: 15.5 cm
- Visina pakiranja: 23.5 cm
- Dubina pakiranja: 2.2 cm
- Težina pakiranja: 530 g
Recenzije