Logics of programs

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: rohit Parikh
Μορφή: Printed Book
Γλώσσα:English
Έκδοση: Springer-Verlag 1985
Περιγραφή
Φυσική περιγραφή:424
ISBN:3-540-15648-8

Παρόμοια τεκμήρια