Laddar...

Logics of programs

Bibliografiska uppgifter
Huvudupphovsman: rohit Parikh
Materialtyp: Printed Book
Språk:English
Publicerad: Springer-Verlag 1985

DCS

Beståndsuppgifter i DCS
Signum: 004.43
Exemplar Status otillgänglig