Didier Bert – författare

Visar alla böcker från författaren Didier Bert. Handla med fri frakt och snabb leverans.

6 produkter

1. 

   ZB 2003: Formal Specification and Development in Z and B

   Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

   Av Didier Bert, Jonathan P. Bowen m. fl.

   Häftad, 2003

   1129 kr

   Lägg i varukorg

   The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances …

2. 

   ZB 2002: Formal Specification and Development in Z and B

   2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

   Av Didier Bert, Jonathan P. Bowen m. fl.

   Häftad, 2002

   552 kr

   Lägg i varukorg

   These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con- rence in this series, ZB2000, held at the …

3. 

   Recent Trends in Algebraic Development Techniques

   14th International Workshop, WADT ''99, Chateau de Bonas, September 15-18, 1999 Selected Papers

   Av Peter Mosses, Christine Choppy m. fl.

   E-bok, 2004

   755 kr

   Lägg i varukorg

4. 

   ZB 2003: Formal Specification and Development in Z and B

   Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

   Av Marina Walden, Steve King m. fl.

   E-bok, 2003

   1502 kr

   Lägg i varukorg

5. 

   ZB 2002: Formal Specification and Development in Z and B

   2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

   Av Ken Robinson, Martin C. Henson m. fl.

   E-bok, 2003

   734 kr

   Lägg i varukorg

6. 

   Recent Trends in Algebraic Development Techniques

   14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers

   Av Didier Bert, Christine Choppy m. fl.

   Häftad, 2000

   568 kr

   Lägg i varukorg

   The algebraic approach to system speci?cation and development, born in the 1970sas a formalmethod for abstractdata types, encompassestoday the formal design of integrated hardware and software systems, new speci?cation fra- works and programming paradigms (such as object-oriented, logic, and high- …