LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS

LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMSHUTH AND RYANcreatorNOcreatortextCAMBRIDGE UNIVERSITY PRESS20042monographicEnglish427 25ALLIED 05-02-2007 Supplier PROGRAMMING LANGUAGE 005.115 HUT0-521-67089-6CENTRAL LIBRARY