Cargando...

Logics of programs

Detalles Bibliográficos
Autor Principal: rohit Parikh
Formato: Printed Book
Idioma:English
Publicado: Springer-Verlag 1985
Descripción
Descrición Física:424
ISBN:3-540-15648-8