Amazon cover image
Image from Amazon.com
Image from Google Jackets
Image from OpenLibrary
See Baker & Taylor
Image from Baker & Taylor

Calculus of computation: Decision procedures with applications to verification by Bradley Aaron R; Manna Zohar

By: Contributor(s): Material type: TextTextLanguage: English Publication details: Berlin Springer-Verlag 2007Description: xv, 365p. cmISBN:
  • 9783540741121 (hbd)
Subject(s): DDC classification:
  • D65,8(B):(B32), P7 TD
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 Home library Call number Status Barcode
Textbook Textbook Central Science Library Central Science Library D65,8(B):(B32) P7 TD (Browse shelf(Opens below)) Available SL1380514

Bibliographical references 351-355p; Index 357-366p

There are no comments on this title.

to post a comment.