search for books and compare prices
Gerard Berry has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Compiling Esterel
cover image for 9780387706269
Product Description: Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language. The book includes a tutorial, a reference manual, formal semantics, and detailed technical information about the many techniques used to compile it...read more
By Gerard Berry, Stephen A. Edwards and Dumitru Potop-butucaru
See complete details on each edition (1 edition listed)

Hardcover:

9780387706269 | Springer Verlag, June 1, 2007, cover price $219.00 | About this edition: Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language.

Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings
cover image for 9783540423454
Product Description: This volume contains the proceedings of the conference on Computer-Aided Veric ation (CAV 2001),held in Paris, Palaisde laMutualit e, July 18{22,2001. CAV 2001 was the 13th in a series of conferences dedicated to the advan- ment of the theory and practice of computer-assisted formal analysis methods for software and hardware systems...read more
By Gerard Berry (editor), H. Comon (editor) and A. Finkel (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540423454 | Springer Verlag, February 1, 2002, cover price $149.00 | About this edition: This volume contains the proceedings of the conference on Computer-Aided Veric ation (CAV 2001),held in Paris, Palaisde laMutualit e, July 18{22,2001.

displaying 1 to 2 | at end