Knihobot
Knihu momentálně nemáme skladem

Types for proofs and programs

Autoři

Parametry

ISBN
9783540140313
Nakladatelství
Springer

Kategorie

Varianta knihy

2003

Nákup knihy

Kniha aktuálně není skladem.