Chargement en cours...

Logics of programs

Détails bibliographiques
Auteur principal: rohit Parikh
Format: Printed Book
Langue:English
Publié: Springer-Verlag 1985
Description
Description matérielle:424
ISBN:3-540-15648-8