modelling and reasoning about systems Huth, Michael 1962- creator Ryan, Mark 1962- text bibliography enk Cambridge [U.K.] New York Cambridge University Press 2004 2nd ed. monographic eng

print

xiv, 427 p. : ill. ; 25 cm. Michael Huth, Mark Ryan. Includes bibliographical references (p. 414-417) and index. Computer logic Logic programming QA76.9.L63 H88 2004 005.1/01/5113 052154310X (pbk.) 2004045921 http://www.loc.gov/catdir/samples/cam041/2004045921.html http://www.loc.gov/catdir/toc/cam041/2004045921.html http://www.loc.gov/catdir/description/cam041/2004045921.html http://www.loc.gov/catdir/samples/cam041/2004045921.html http://www.loc.gov/catdir/toc/cam041/2004045921.html http://www.loc.gov/catdir/description/cam041/2004045921.html DLC 040407 20160301143905.0 13550178