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

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

Pridaj recenziu

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

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