Chargement en cours...

Logics of programs

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

Documents similaires