Ucebnice.cz Odborná • naučnáPřírodní vědyMatematika
Termín obdržení zásilky
Česká pošta Středa 15.04
PPL Středa 15.04
Osobní odběr Čtvrtek 16.04
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..