15 treff

algebraisk spesifikasjon programutvikling
Formal specification and design
L. M. G. Feijs & H. B. M. Jonkers
Bok Engelsk 1992 · Vis mer
CASL user manual : introduction to using the Common Algebraic Specification Language
Bidoit, M.
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
The institution of multialgebras : a general framework for algebraic software development
Yngve Lamo
Bok Engelsk 2002 · Vis mer
Algebra of programming
Richard Bird and Oege de Moor
Bok Engelsk 1997 · Vis mer
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
Kokichi Futatsugi, Jean-Pierre Jouannaud,...
Bok Engelsk 2006 · Vis mer
Systematic software development using VDM
Cliff B. Jones
Bok Engelsk 1986 · Vis mer
Vis flere utgaver
Vis flere utgaver
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
WADT 2004
Bok Engelsk 2005 · Vis mer
Vis flere utgaver
Vis flere utgaver
Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
WADT 2002
Bok Engelsk 2003 · Vis mer
Recent trends in algebraic development techniques : 15th international workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
WADT 2001
Bok Engelsk 2001 · Vis mer
Vis flere utgaver
Vis flere utgaver
Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
WADT'99
Bok Engelsk 2000 · Vis mer
Recent trends in algebraic development techniques : 13th international workshop, WADT'98, Lisbon, Portugal, April 2-4, 1998 : selected papers
WADT'98
Bok Engelsk 1999 · Vis mer
Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
WADT '97
Bok Engelsk 1998 · Vis mer
CASL reference manual : the complete documentation of the Common Algebraic Specification Language
Peter D. Mosses (ed.)
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures
Roland Backhouse, Roy Crole, Jeremy Gibbo...
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
A specification method for interactive systems
Kari Systä
Bok Engelsk 1995 · Vis mer