Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Brak ocen
2006 · Angielski · Kindle · Wydania: 3
Dodaj do półki

Oceń tę książkę


Eksportuj Dziennik Książki

Recenzje

Nie ma jeszcze recenzji

Bądź pierwszy, aby zrecenzować tę książkę i podziel się swoimi przemyśleniami

Zaloguj się, aby recenzować
Dodaj do półki

Oceń tę książkę


Eksportuj Dziennik Książki