Chargement en cours...

Logics of programs

Détails bibliographiques
Auteur principal: rohit Parikh
Format: Printed Book
Langue:English
Publié: Springer-Verlag 1985

DCS

Informations d'exemplaires de DCS
Cote: 004.43
Exemplaire Statut en temps réel indisponible