Cover Image

Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /

Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive m...

Full description

Bibliographic Details
Main Author:	Broy, Manfred
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1989.
Series:	NATO ASI series. Computer and systems sciences ; 55.
Subjects:	Computer science. Software engineering. Logic design. Artificial intelligence. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Mathematical Methods in Program Development /
by: Broy, Manfred
Published: (1997)

Logic, Algebra, and Computation : International Summer School /
by: Bauer, Friedrich L.
Published: (1991)

Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do /
by: Tofte, Mads
Published: (1990)

Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings /
by: Bruynooghe, M. (Maurice)
Published: (1993)

Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1987)

Programming and Mathematical Method : International Summer School /
by: Broy, Manfred
Published: (1992)

Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions /
by: Bertot, Yves
Published: (2004)

Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
by: Hunt, Jr., Warren A.
Published: (2003)

Specification and Transformation of Programs : a Formal Approach to Software Development /
by: Partsch, Helmut A.
Published: (1990)

State-Space Search : Algorithms, Complexity, Extensions, and Applications /
by: Zhang, Weixiong
Published: (1999)

Automata and Languages : Theory and Applications /
by: Meduna, Alexander
Published: (2000)

CONCURRENCY 88 : International Conference on Concurrency Hamburg, FRG, October 18-19, 1988 Proceedings /
Published: (1988)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 /
by: Lau, Kung-Kiu
Published: (1993)

LISP, Lore, and Logic : an Algebraic View of LISP Programming, Foundations, and Applications /
by: Stark, W. Richard
Published: (1990)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1990)

Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994. Proceedings /
by: Fribourg, Laurent
Published: (1994)

Essentials of Constraint Programming /
by: Frühwirth, Thom
Published: (2003)

The Parametric Lambda Calculus : A Metamodel for Computation /
by: Rocca, Simona Ronchi Della
Published: (2004)

Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings /
by: Shapiro, Ehud
Published: (1986)

ALPUK92 : Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 /
by: Broda, Krysia
Published: (1993)

Algebraic Approaches to Program Semantics /
by: Manes, Ernest G.
Published: (1986)

Relations and Graphs : Discrete Mathematics for Computer Scientists /
by: Schmidt, Günther
Published: (1993)

The Munich Project CIP : Volume II: The Program Transformation System CIP-S /
by: Bauer, F. L.
Published: (1987)

Computing in Horn Clause Theories /
by: Padawitz, Peter
Published: (1988)

Programming Languages and Systems - ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994. Proceedings /
by: Sannella, Donald
Published: (1994)

Fairness /
by: Francez, Nissim
Published: (1986)

Duration Calculus : A Formal Approach to Real-Time Systems /
by: Chaochen, Zhou
Published: (2004)

Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21-25 June 1993 /
by: Nivat, M.
Published: (1994)

Specification of Software Systems /
by: Alagar, Vangalur S., 1940-
Published: (1998)

TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 /
Published: (1987)

TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 : Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium /
by: Ehrig, Hartmut
Published: (1987)

Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22-24, 1996. Proceedings /
by: Nielson, Hanne R.
Published: (1996)

Z User Workshop, London 1992 : Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 /
by: Bowen, J. P.
Published: (1993)

Industrial-Strength Formal Methods in Practice /
by: Hinchey, Michael G.
Published: (1999)

Formal Specification : Techniques and Applications /
by: Nissanke, Nimal
Published: (1999)

Algebraic Specifications in Software Engineering : an Introduction /
by: Horebeek, Ivo
Published: (1989)

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 2: Colloquium on Software Engineering (CSE) /
by: Ehrig, Hartmut
Published: (1985)

Z User Workshop, York 1991 : Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 /
by: Nicholls, J. E.
Published: (1992)

Software Defect and Operational Profile Modeling /
by: Cai, Kai-Yuan
Published: (1998)

ALPUK 91 : Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 /
by: Wiggins, Geraint A.
Published: (1992)