A carregar...

Logics of programs

Detalhes bibliográficos
Autor principal: rohit Parikh
Formato: Printed Book
Idioma:English
Publicado em: Springer-Verlag 1985
Descrição
Descrição Física:424
ISBN:3-540-15648-8