Kniha momentálne nie je na sklade

Types for proofs and programs

Autori

Paul Callaghan

Parametre

Kategórie

Počítače, IT, programovanie

Séria: Lecture notes in computer science

Nákup knihy

Types for proofs and programs, Paul Callaghan

Jazyk
Rok vydania: 2002

Akonáhle sa objaví, pošleme vám e-mail.

Doručenie

Platobné metódy

Navrhnúť zmenu