Peter Mosses – författare

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

4 produkter

1. 

   Recent Trends in Algebraic Development Techniques

   17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

   Av José Luiz Fiadeiro, Peter Mosses m. fl.

   Häftad, 2005

   568 kr

   Lägg i varukorg

   This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the speci?cation and development of systems, an area that was born around the algebraic speci?cation of …

2. 

   Recent Trends in Algebraic Development Techniques

   17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

   Av Fernando Orejas, Peter Mosses m. fl.

   E-bok, 2005

   739 kr

   Lägg i varukorg

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. 

   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- …