deepak d souza
Marijuana and Madness
DigitalSofort lieferbarThe second edition of this critically acclaimed and award-winning text provides a comprehensive o...
Marijuana and Madness
DigitalSofort lieferbarThe second edition of this critically acclaimed and award-winning text provides a comprehensive o...
Modern Applications Of Automata Theory
DigitalSofort lieferbarAutomata theory has come into prominence in recent years with a plethora of applications in field...
Verification, Model Checking, and Abstract Interpretation
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 16th International Conference on Verificati...
Model checking trace-based information flow properties
TaschenbuchPrint on DemandInformation flow properties are a way of specifying security properties of systems. A system is v...
Automated Technology for Verification and Analysis
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 15th International Symposium on Automated T...
- 1