search for books and compare prices
Rajeev Alur has written 5 work(s)
Search for other authors with the same name
displaying 1 to 5 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Hardcover:
9780262029117 | Mit Pr, April 10, 2015, cover price $68.00
Product Description: ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13-17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems...read more
Paperback:
9783540223429 | Springer-Verlag New York Inc, August 15, 2004, cover price $149.00 | About this edition: ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?
Product Description: This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous behaviors...read more
Paperback:
9783540212591 | Springer-Verlag New York Inc, April 28, 2004, cover price $169.00 | About this edition: This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004.
Product Description: This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies...read more
Paperback:
9783540614746 | Springer Verlag, October 1, 1996, cover price $119.00 | About this edition: This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.
This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.
Paperback:
9780387611556 | Springer Verlag, May 1, 1996, cover price $111.00
9783540611554 | Springer Verlag, April 1, 1996, cover price $149.00 | About this edition: This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.
displaying 1 to 5 |
at end