Knihu momentálně nemáme skladem

Types for proofs and programs

Autoři

Herman Geuvers

Parametry

ISBN: 9783540140313
Nakladatelství: Springer

Kategorie

Navrhnout úpravu

Varianta knihy

2003

Nákup knihy

Kniha aktuálně není skladem.