Das Buch ist derzeit nicht auf Lager

Types for proofs and programs

Autoren

Thierry Coquand

Parameter

Kategorien

Informatik & Programmierung

Reihe: Lecture notes in computer science

Buchkauf

Types for proofs and programs, Thierry Coquand

Sprache
Erscheinungsdatum: 2000

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Feedback senden