Loading...

Logics of programs

Bibliographic Details
Main Author: rohit Parikh
Format: Printed Book
Language:English
Published: Springer-Verlag 1985

Similar Items