Loading...

Logic in computer science Modelling and reasoning about systems /

Bibliographic Details
Main Author: Huth, Michael
Other Authors: Ryan , Mark
Language:Undetermined
Published: Cambridge Univeristy Press , 2004.
Edition:2nd ed.
Subjects:

University of Kerala

Holdings details from University of Kerala
Call Number: D651:(R1) P4
Copy Live Status Unavailable