The calculus of computation : decision procedures with applications to verification /

Bibliographic Details
Main Author: Bradley, Aaron R.
Other Authors: Manna, Zohar
Format: Book
Language:English
Published: Berlin : Springer, 2007.
Subjects:
Online Access:Table of contents
Publisher description
Description
Item Description:With 60 figures.
Physical Description:xv, 366 p. : il. ; 25 cm.
Bibliography:Includes bibliographical references (p.[351]-355) and index.
ISBN:9783540741121