Laddar...

Logics of programs

Bibliografiska uppgifter
Huvudupphovsman: rohit Parikh
Materialtyp: Printed Book
Språk:English
Publicerad: Springer-Verlag 1985
Beskrivning
Fysisk beskrivning:424
ISBN:3-540-15648-8