Das Buch ist derzeit nicht auf Lager

Types for proofs and programs

Autoren

Paul Callaghan

Parameter

Kategorien

Informatik & Programmierung

Reihe: Lecture notes in computer science

Buchkauf

Types for proofs and programs, Paul Callaghan

Sprache
Erscheinungsdatum: 2002

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Feedback senden