Loading...

Logics of programs

Bibliografiske detaljer
Hovedforfatter: rohit Parikh
Format: Printed Book
Sprog:English
Udgivet: Springer-Verlag 1985
Beskrivelse
Fysisk beskrivelse:424
ISBN:3-540-15648-8