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

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

There are no comments on this title.

to post a comment.