Loading...

Logics of programs

Bibliografiske detaljer
Hovedforfatter: rohit Parikh
Format: Printed Book
Sprog:English
Udgivet: Springer-Verlag 1985

DCS

Detaljer om beholdninger fra DCS
Klassifikationsnummer: 004.43
Kopi Live Status Unavailable