PakCat catalogue record

Logic in computer science

modeling and reasoning about systems

By Ryan, Mark

Bibliographic details

ISBN: 052154310X
Publisher: Cambridge University Press
Publication place: Cambridge
Publication year: 2004
Edition: 2nd ed.
Material type: Book
Physical description: 427

Additional authors

Ryan, Mark

Subjects

logic programming(computer science)

Participating catalogues

These are catalogue sources where this work was discovered. A catalogue match does not confirm physical availability or loan status.

NUST Central LibraryIslamabad, Islamabad
NUST Central LibraryIslamabad, Islamabad
Punjab University LibraryLahore, Punjab
Punjab University LibraryLahore, Punjab

Live catalogue response

Check the recorded catalogue sources without making an availability claim.