Carregant...

Logics of programs

Dades bibliogràfiques
Autor principal: rohit Parikh
Format: Printed Book
Idioma:English
Publicat: Springer-Verlag 1985
Descripció
Descripció física:424
ISBN:3-540-15648-8