Cover Image

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Staunstrup, J. (Jørgen), 1952-
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1982.
Series:	Lecture notes in computer science ; 134.
Subjects:	Computer programs > Specifications > Congresses. construction géometrique. KWIC. langage spécification. programme distribué. spécification programme. TECTON. langage programmation. réseau transmission. Logiciels > Spécifications > Congrès. Computer programs > Specifications. Programmierung. Spezifikation. Electronic books. Kongre€ > Århus > 1981. Conference proceedings. Kongress.
Online Access:	Connect to the full text of this electronic book

Similar Items

Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers /
Published: (1997)

ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings /
Published: (1998)

ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings /
Published: (2005)

Modular specification and verification of object-oriented programs /
by: Müller, Peter, 1972-
Published: (2002)

ZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings /
Published: (1997)

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /
Published: (1996)

Writing great R code /
Published: (2015)

Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures /
Published: (2002)

Compiler specification and verification /
by: Polak, Wolfgang, 1950-
Published: (1981)

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers /
Published: (2002)

ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings /
Published: (1986)

Specification writing for architects and surveyors /
by: Willis, Christopher James
Published: (1991)

Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Published: (2001)

Practical specifications of works executed in architecture : civil and mechanical engineering, and in road making and sewering.
by: Blenkarn, John
Published: (1868)

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
Published: (2001)

Formal methods of program verification and specification /
Published: (1982)

Nondeterminism in algebraic specifications and algebraic programs /
by: Hussmann, Heinrich, 1959-
Published: (1993)

Sourcebook of HVAC specifications /
by: Beaty, Frank E.
Published: (1986)

The evolution of programs /
by: Dershowitz, Nachum
Published: (1983)

Specification writing : for architects and surveyors /
by: Willis, Christopher James
Published: (1989)

Specifications for structural concrete /
Published: (1999)

Principles of declarative programming : 10th International Symposium, PLILP'98 : held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings /
Published: (1998)

Construction specifications writing : principles and procedures /
by: Rosen, Harold J.
Published: (1981)

Practical specification writing : for architects and surveyors /
by: Bowyer, Jack
Published: (1981)

Construction specifications writing ; principles and procedures /
by: Rosen, Harold J.
Published: (1974)

Program construction : international summer school /
Published: (1979)

Lessons with Tera-Tom.
Published: (2014)

Engineering construction specifications : the road to better quality, lower cost, reduced litigation /
by: Goldbloom, Joseph, 1908-
Published: (1989)

Construction specifications writing : principles and procedures /
by: Rosen, Harold J.
Published: (1990)

Construction specifications writing : principles and procedures /
by: Rosen, Harold J.
Published: (1999)

Construction specifications writing : principles and procedures /
by: Rosen, Harold J.
Published: (2005)

Construction specifications writing : principles and procedures /
Published: (2010)

Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers /
Published: (1995)

CASL reference manual : the complete documentation of the Common Algebraic Specification Language /
Published: (2004)

Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 /
Published: (1980)

Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /
Published: (1981)

Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings /
Published: (2000)

ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings /
Published: (1990)

Engineering specifications writing guide : an authoritative reference for planning, writing, and administrating /
by: Fischer, Martin A.
Published: (1983)

Specification series.