Computation Engineering Applied Automata Theory and Logic
| Main Author: | Gopalakrishnan, Ganesh |
|---|---|
| Format: | Electronic Kit Book |
| Language: | English |
| Published: |
Boston, MA
Springer Science+Business Media LLC
2006
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/0-387-32520-4 |
Similar Items
-
A Roadmap for Formal Property Verification
by: DasGupta, Pallab
Published: (2006) -
Coordination of Large-Scale Multiagent Systems
by: Scerri, Paul
Published: (2006) -
High-Frequency Oscillator Design for Integrated Transceivers
by: Tang, Johan
Published: (2005) -
AmIware Hardware Technology Drivers of Ambient Intelligence
by: Mukherjee, Satyen
Published: (2006) -
A Practical Guide for SystemVerilog Assertions
by: Vijayaraghavan, Srikanth
Published: (2005)