PakCat catalogue record

Logic in computer science

modelling and reasoning about systems

By Ryan, Mark

Bibliographic details

ISBN
0521670896
Publisher
UK , Cambridge
Publication place
Cambridge university pres
Publication year
2004
Material type
Book
Physical description
xiv, 427p.

Subjects

Logic Programming (Computer science)

Related catalogue records

Logic in computer science Ryan, Mark Calculus workbook for dummies Ryan, Mark Unlocking Constitutional & Administrative Law Ryan, Mark Geometery for Dummies Ryan, Mark