Lanean...

Logics of programs

Xehetasun bibliografikoak
Egile nagusia: rohit Parikh
Formatua: Printed Book
Hizkuntza:English
Argitaratua: Springer-Verlag 1985
Deskribapena
Deskribapen fisikoa:424
ISBN:3-540-15648-8