Gerard Berry – författare
Visar alla böcker från författaren Gerard Berry. Handla med fri frakt och snabb leverans.
6 produkter
Compiling Esterel
Av Dumitru Potop-Butucaru, Stephen A. Edwards m. fl.
Inbunden, 2007
1686 kr
Lägg i varukorg
Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used …
Compiling Esterel
Av Gerard Berry, Stephen A. Edwards m. fl.
E-bok, 2007
2111 kr
Lägg i varukorg
Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used …
Compiling Esterel
Av Dumitru Potop-Butucaru, Stephen A. Edwards m. fl.
Häftad, 2010
1639 kr
Lägg i varukorg
Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used …
Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
Av Gerard Berry, Hubert Comon m. fl.
Häftad, 2001
1128 kr
Lägg i varukorg
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 …
Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
Av Alain Finkel, Hubert Comon m. fl.
E-bok, 2003
1470 kr
Lägg i varukorg
