Carregant...

Logics of programs

Dades bibliogràfiques
Autor principal: rohit Parikh
Format: Printed Book
Idioma:English
Publicat: Springer-Verlag 1985

DCS

Detall dels fons de DCS
Signatura: 004.43
Còpia Comprovació en temps real no disponible