-
Type Theory and Formal Proof
EbookSofort lieferbarType theory is a fast-evolving field at the cro...
-
A Modern Perspective on Type Theory
EbookSofort lieferbarThis book provides an overview of type theory. ...
-
Type Theory and Formal Proof
EbookSofort lieferbarType theory is a fast-evolving field at the cro...
-
Selected Papers on Automath
EbookSofort lieferbarThe present volume contains a considered choice...
-
-
-
Type Theory and Formal Proof
BuchPrint on DemandA gentle introduction for graduate students and...
-
Object-oriented Quality Management (OQRM). Een praktische methode voor kwaliteits- en risicomanagement.
TaschenbuchPrint on DemandHet management wil iets met kwaliteit of risico...
-
A Modern Perspective on Type Theory
BuchPrint on Demand`Towards the end of the nineteenth century, Fre...
-
Object-oriented Quality and Risk Management (OQRM). A practical and generic method to manage quality and risk.
TaschenbuchPrint on DemandManagement aims to control quality and risks, b...
-
A Modern Perspective on Type Theory
TaschenbuchPrint on Demand`Towards the end of the nineteenth century, Fre...
- 1
Folgen Sie uns auf:
