Temporal Type Theory (engleski)

· Springer, Berlin · 2019 · vezana · 205 stranica

Temporal Type Theory (engleski)

1 976,41 €
1 976,41 €
Cijena niža za 13 % u odnosu na preporučenu maloprodajnu cijenu
Uobičajeno 2 281,57 €
Proizvod trenutačno nije dostupan.
Provjerite dostupne alternative.
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index. pročitati sve 
Temporal Type Theory (engleski)
Proizvod trenutačno nije dostupan.
1 976,41 €
  • Moglo bi i Vas zanimati
  • Ostale knjige autora
  • Ostala roba izdavača
  • Zadnji put pogledano
  • Slični autori

Kolekcionarske etikete

Slični autori

Provjerene recenzije su izričito označene kao takve, ostale su neprovjerene.
Nema recenzija. Budite prvi koji će napisati svoju!
Váš avatar
Odaberi
Ime
Vaše recenzije
0

Knjiga gostiju

Potvrđeni postovi su označeni kao takvi, ostali su neprovjereni.

Veleprodajna suradnja

Ukoliko imate zanimljiv asortiman, slobodno nas kontaktirajte. Nudimo zanimljive pretplate, brza plaćanja i suradnju s poštovanjem.

prodaja-na-veliko@megaknjige.hr

Alkohol mogu kupiti samo osobe starije od 18 godina.

Molimo potvrdite da već imate 18 godina.