Temporal Type Theory (engleză)

· Springer, Berlin · 2019 · legată · 205 pagini

Temporal Type Theory (engleză)

1 976,41 lei
1 976,41 lei
Preț mai mic cu 13 % față de prețul recomandat
Preț normal 2 281,57 lei
Produsul nu este disponibil momentan.
Vizualizați alternativele disponibile.
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index. citește totul 
Temporal Type Theory (engleză)
Produsul nu este disponibil momentan.
1 976,41 lei
  • Poate vă atrage
  • Alte cărți ale autorului
  • Alte cărți ale editurii
  • Ultimele vizualizate
  • Autori similari

Autori similari

Recenziile verificate sunt marcate în mod explicit, celelalte nu sunt verificate.
Aici nu sunt deloc recenzii. Fiți primul și scrieți-o pe a voastră!
Váš avatar
Alegeți
Prenume
Recenzia dvs.
0

Cartea vizitelor

Postările astfel marcate sunt autentificate, celelalte sunt neautentificate.

Cooperare engros

Dacă aveți un sortiment interesant, nu ezitați să ne contactați. Oferim comenzi interesante, plăți rapide și o cooperare cu respect.

angrosisti@megacarti.ro

Doar persoanele cu vârsta de peste 18 ani pot cumpăra alcool.

Vă rugăm să confirmați că aveți deja 18 ani.