Types for Proofs and Programs

Ești offline
Types for Proofs and Programs

Types for Proofs and Programs

Dr. Jan Smith, Peter Dybjer, Bengt Nordström

210

Pagini

1995

An

Paperback

Copertă

Adaugă în bibliotecă
Editura Springer, Berlin
Copertă Paperback
Pagini 210
An publicare 1995
ISBN 9783540605799

Conectează-te pentru a lăsa o recenzie

🔥 🔥 🔥 🔥 🔥

Nicio recenzie încă

Fii primul care lasă o impresie.

Literaz

Literaz e mai bun în aplicație

Scanează cărți cu camera, compară prețuri
și organizează-ți raftul digital.

Deschide în aplicație