Calculus of computation : decision procedures with applications to verification /

Bibliographic Details
Main Author:	Bradley, Aaron R.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Manna, Zohar
Format:	eBook
Language:	English
Published:	Berlin : Springer, 2007.
Subjects:	Algorithm Analysis and Problem Complexity. Computation by Abstract Devices. Mathematical Logic and Formal Languages. Theory of Computation. Computer logic. Computer programs > Verification. Electronic books.
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic book. Electronic resource. Title from title screen (viewed on Mar. 6, 2008).
Physical Description:	xv, 366 pages : illustrations ; 25 cm.
Format:	Mode of access: World Wide Web. System requirements: Web browser.
Bibliography:	Includes bibliographical references (pages [351]-355) and index.
ISBN:	3540741135 9783540741138
DOI:	10.1007/978-3-540-74113-8
Access:	Digital content provided by Springer; access may be restricted to users at subscribing institutions.