Calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna..

By: Bradley, Aaron RContributor(s): Manna, ZoharMaterial type: TextTextPublication details: Berlin : Springer, 2007Description: xv, 366 p. : ill. ; 25 cmISBN: 3540741127; 9783540741121Subject(s): Computer logic | Computer programs -- VerificationDDC classification: 515.1 Cut B811 LOC classification: QA76.9.L63 | B73 2007Online resources: Table of contents | Publisher description
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Copy number Status Date due Barcode
Books Books Koya University Central Library
Book Cart 		510 - 519 515.1 Cut B811 (Browse shelf(Opens below)) 1 Available 000815
Books Books Koya University Central Library
Book Cart 		510 - 519 515.1 Cut B811 (Browse shelf(Opens below)) 2 Available 000811
Browsing Koya University Central Library shelves, Shelving location: Book Cart Close shelf browser (Hides shelf browser)
515.076 Cut P285 No title 515.1 cuk k95 No title 515.1 Cut B811 No title 515.1 Cut B811 No title 515.1 Cut O58 Advanced engineering mathematics / 515.1 Cut O58 Advanced engineering mathematics / 515.1 Cut O58 Advanced engineering mathematics /

Includes bibliographical references (p.[351]-355) and index.

There are no comments on this title.

to post a comment.