Calculus of computation Decision procedures with applications to verification /

Bibliographic Details
Main Author: Bradley, Aaron R.
Other Authors: Manna , Zohar
Language:Undetermined
Published: New Delhi : Springer , 2007.
Description
Physical Description:xv+366
ISBN:9788184893960

Similar Items