Caricamento...

Logics of programs

Dettagli Bibliografici
Autore principale: rohit Parikh
Natura: Printed Book
Lingua:English
Pubblicazione: Springer-Verlag 1985
Descrizione
Descrizione fisica:424
ISBN:3-540-15648-8