Loading...
Calculus of computation Decision procedures with applications to verification /
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Undetermined |
| Published: |
New Delhi :
Springer ,
2007.
|
University of Kerala
| Call Number: |
D6513 P77 |
|---|---|
| Copy | Live Status Unavailable |