Ucebnice.cz Odborná • naučnáPřírodní vědyMatematika
Termín obdržení zásilky
Dodací doba je ovlivněna statním svátkem ( 17.11 )
Česká pošta Čtvrtek 19.11
PPL Čtvrtek 19.11
Osobní odběr Pátek 20.11
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Temporal Type Theory

Temporal Type Theory
9 %

2073  Kč 2 282 Kč

Sleva až 70% u třetiny knih
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.
Autor:
Nakladatel: Springer, Berlin
Rok vydání: 2019
Jazyk : Angličtina
Vazba: Hardback
Počet stran: 205
Mohlo by se vám také líbit..