De nouvelles publications académiques sont ajoutées chaque semaine pour les universités, bibliothèques, chercheurs et distributeurs spécialisés.

TYPES FOR PROOFS AND PROGRAMS (LNCS)

COMPUTER

TYPES FOR PROOFS AND PROGRAMS (LNCS)

Par BERARDI S.; COPPO M.

ISBN 13
9783540617808
ISBN 10
N/A
Éditeur
SPRINGER
Année
1996
Pages
Reliure
HB

Description

N/A

Table des matières

N/A