towar
(pusty)
Kontakt
Konto 
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.
przeczytaj całość
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.
ukryj opis
- Wydawnictwo: Springer, Berlin
- Kod:
- Rok wydania: 2019
- Język: Angielski
- Oprawa: Twarda
- Liczba stron: 205
- Szerokość opakowania: 15.5 cm
- Wysokość opakowania: 23.5 cm
- Głębokość opakowania: 2.2 cm
- Waga: 530 g
Recenzja