Christine Choppy – författare
Visar alla böcker från författaren Christine Choppy. Handla med fri frakt och snabb leverans.
5 produkter
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
Recent Trends in Data Type Specification
8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers
Av Michel Bidoit, Christine Choppy
Häftad, 1993
562 kr
Lägg i varukorg
The algebraic specification of abstract data types has beena flourishing research topic in computer science since 1974.The main goal of this work isto evolve theoreticalfoundations and a methodology to support the design andformal development of reliable software.This volume gives the proceedings …
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
562 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- …
Foundations of Computer Software: Future Trends and Techniques for Development
15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
Av Christine Choppy, Oleg Sokolsky
Häftad, 2010
561 kr
Lägg i varukorg
This volume contains revised and expanded versions of the papers presented at th the 15 Monterey Workshop, held during September 24-26, 2008 in Budapest, Hungary. The Monterey Workshops series was initiated in 1993 by Dr. David Hislop, a longtime program manager at the U. S. Army Research O?ce, …
Foundations of Computer Software: Future Trends and Techniques for Development
15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
Av Oleg Sokolsky, Christine Choppy
E-bok, 2010
750 kr
Lägg i varukorg
