Tools

LEADER 04609cam a22008054a 4500

001 ocm54960031;

003 OCoLC;

005 20141212055607.0;

008 040407s2004 enka b 001 0 eng ;

010 a| 2004045921;

015 a| GBA4Y72542| bnb;

016 7 a| 0116186802| Uk;

019 a| 56448618;

020 a| 052154310X (pbk.);

020 a| 9780521543101 (pbk.);

029 1 a| NLGGCb| 262136694;

029 1 a| YDXCPb| 100352703;

029 1 a| NZ1b| 8301088;

029 1 a| AU@b| 000026417014;

029 1 a| AU@b| 000025480785;

029 1 a| IG#b| 9780521543101;

029 1 a| DEBBGb| BV021983682;

029 1 a| UNITYb| 00991322X;

029 1 a| COVCLb| 052154310X;

029 1 a| HEBISb| 123642183;

029 1 a| LQUb| 340399;

035 a| (Sirsi) o54960031;

035 a| (OCoLC)54960031z| (OCoLC)56448618;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.9.L63b| H88 2004;

082 00 a| 005.1/01/51132| 22;

084 a| 31.102| bcl;

084 a| 54.102| bcl;

084 a| ST 1252| rvk;

100 1 a| Huth, Michael,d| 1962-=| ^A1159714;

245 10 a| Logic in computer science :b| modelling and reasoning about systems /c| Michael Huth, Mark Ryan.;

250 a| 2nd ed.;

260 a| Cambridge [U.K.] ;a| New York :b| Cambridge University Press,c| 2004.;

300 a| xiv, 427 pages :b| illustrations ;c| 25 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references (p. 414-417) and index.;

505 00 g| 1.t| Propositional logic --g| 2.t| Predicate logic --g| 3.t| Verification by model checking --g| 4.t| Program verification --g| 5.t| Modal logics and agents --g| 6.t| Binary decision diagrams.;

520 1 a| "Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. At the same time, the shift towards internet-based distributed computing creates the need for individuals who are able to reason about sophisticated autonomous agent-oriented software acting on large networks.".;

520 8 a| "The second edition of this successful textbook addresses both those requirements, by continuing to provide an introduction to formal reasoning that is both relevant to the needs of modern computer science and rigorous enough for practical application. The presentation is clear and simple, with core material being described early in the book, and further technicalities introduced only where they are needed by the applications. A key feature is the full exposition of model-checking, and the new edition supports the most up-to--date versions of the tools NuSMV and Alloy.;

520 8 a| Improvements to the first edition have been made throughout, with extra and expanded sections on linear-time temporal logic model checking, SAT solvers, second-order logic, the Alloy specification tool, and programming by contract. The coverage of model-checking has been substantially updated. Further exercises have been added."--BOOK JACKET.;

650 0 a| Computer logic.=| ^A417366;

650 0 a| Logic programming.=| ^A204997;

650 17 a| Wiskundige logica.2| gtt;

650 17 a| Informatica.2| gtt;

650 07 a| Modallogik.2| swd;

650 07 a| Programmierung.2| swd;

650 07 a| Prädikatenlogik.2| swd;

700 1 a| Ryan, Mark,d| 1962-=| ^A1159242;

856 41 3| Sample textu| http://catdir.loc.gov/catdir/samples/cam041/2004045921.html;

856 41 3| Table of contentsu| http://catdir.loc.gov/catdir/toc/cam041/2004045921.html;

856 42 3| Publisher descriptionu| http://catdir.loc.gov/catdir/description/cam041/2004045921.html;

856 u| http://bvbr.bib-bvb.de:8991/F?func=serviceetdoc_library=BVB01etdoc_number=015198721etline_number=0001etfunc_code=DB_RECORDSetservice_type=MEDIAz| Inhaltsverzeichnis;

938 a| Baker and Taylorb| BTCPn| 2004045921;

938 a| YBP Library Servicesb| YANKn| 100352703;

938 a| Baker & Taylorb| BKTYc| 55.00d| 55.00i| 052154310Xn| 0004420289s| active;

938 a| Ingramb| INGRn| 9780521543101;

949 a| QA76.9.L63 H88 2004h| joyner48i| 30372016207430o| jjlm;

994 a| C0b| ERE;

596 a| 1;

998 a| 3352052;

999 a| QA76.9.L63 H88 2004w| LCc| 1i| 30372016207430d| 9/13/2017e| 8/21/2017l| JGESm| JOYNERn| 16r| Ys| Yt| JGESBKu| 7/30/2013x| BOOKz| JSTACKS;

Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

Author/creator	Huth, Michael, 1962-
Other author	Ryan, Mark, 1962-
Format	Book
Edition	2nd ed.
Publication Info	Cambridge [U.K.] ; New York : Cambridge University Press, 2004.
Description	xiv, 427 pages : illustrations ; 25 cm
Supplemental Content	Sample text
Supplemental Content	Table of contents
Supplemental Content	Publisher description
Subjects	Computer logic. Logic programming.

Contents	1. Propositional logic -- 2. Predicate logic -- 3. Verification by model checking -- 4. Program verification -- 5. Modal logics and agents -- 6. Binary decision diagrams.
Review	"Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. At the same time, the shift towards internet-based distributed computing creates the need for individuals who are able to reason about sophisticated autonomous agent-oriented software acting on large networks.".
Summary	"The second edition of this successful textbook addresses both those requirements, by continuing to provide an introduction to formal reasoning that is both relevant to the needs of modern computer science and rigorous enough for practical application. The presentation is clear and simple, with core material being described early in the book, and further technicalities introduced only where they are needed by the applications. A key feature is the full exposition of model-checking, and the new edition supports the most up-to--date versions of the tools NuSMV and Alloy.
Summary	Improvements to the first edition have been made throughout, with extra and expanded sections on linear-time temporal logic model checking, SAT solvers, second-order logic, the Alloy specification tool, and programming by contract. The coverage of model-checking has been substantially updated. Further exercises have been added."--BOOK JACKET.
Bibliography note	Includes bibliographical references (p. 414-417) and index.
LCCN	2004045921
ISBN	052154310X (pbk.)
ISBN	9780521543101 (pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.L63 H88 2004	✔ Available	Place Hold

Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

Click here for more information about this title

Availability