The Calculus of Computation Decision Procedures with Applications to Verification
Title
: 
The Calculus of Computation Decision Procedures with Applications to Verification

Personal Author
: 
Bradley, Aaron R.

Publication Information
: 
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.

Physical Description
: 
xv, 366 p. : ill., digital ; 25 cm.

ISBN
: 
9783540741138

General Note
: 
Available in online version

Subject Term
: 
Computer logic
 
Computer programs -- Verification

Added Author
: 
Manna, Zohar

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
Full Text

Genre
: 
e-books

Remote access restricted to users with a valid UTM ID via VPN


LibraryItem BarcodeCall NumberMaterial TypeItem Category 1
PSZ JBEB000128EB 000128Electronic Book1:EBOOK