Wordt geladen...

Logics of programs

Bibliografische gegevens
Hoofdauteur: rohit Parikh
Formaat: Printed Book
Taal:English
Gepubliceerd in: Springer-Verlag 1985
Omschrijving
Fysieke beschrijving:424
ISBN:3-540-15648-8