Porovnanie cien Knihy, filmy a hudbaKnihyKnihy, e-Knihy a Audioknihy... Schultz, patrick Temporal Type Theory Schultz, Patrick

Temporal Type Theory Schultz, Patrick

sledovač ceny parametre produktu

kde nakúpiť?

od 90,10 €

Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliogra

Temporal Type Theory Schultz, Patrick - ponuka obchodu

Parametre produktu Temporal Type Theory Schultz, Patrick

Pridaj recenziu

Pre pridávanie recenzií musíš byť prihlásený.

Temporal Type Theory Schultz, Patrick

Temporal Type Theory Schultz, Patrick - ponuka obchodu

Parametre produktu Temporal Type Theory Schultz, Patrick

Pridaj recenziu

Zákazníci sa tiež zaujímali o tieto Knihy, e-Knihy a Audioknihy