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

Available Online