The World of Programming Languages /

The Science of Programming /
by: Gries, David
Published: (1981)

Programming with Sets : an Introduction to SETL /
by: Schwartz, J. T.
Published: (1986)

Programming with MotifTM /
by: Gregory, Keith D.
Published: (1992)

Programming for Software Sharing /
by: Muxworthy, D. T.
Published: (1983)

Object-Oriented Programming : with Prototypes /
by: Blaschek, Günther
Published: (1994)

Object-Oriented Programming : in Oberon-2 /
by: Mössenböck, Hanspeter
Published: (1993)

Subrecursive Programming Systems : Complexity & Succinctness /
by: Royer, James S.
Published: (1994)

Introduction to Programming with Modula-2 /
by: Blaschek, Günther
Published: (1990)

Into the Realm of Oberon : An Introduction to Programming and the Oberon-2 Programming Language /
by: Nikitin, Eric W.
Published: (1997)

Functional Programming : Proceedings of the 1989 Glasgow Workshop 21-23 August 1989, Fraserburgh, Scotland /
by: Davis, Kei
Published: (1990)

Program Development by Refinement : Case Studies Using the B Method /
by: Sekerinski, Emil
Published: (1999)

Functional Programming, Glasgow 1992 : Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 /
by: Launchbury, John
Published: (1993)

Functional Programming, Glasgow 1990 : Proceedings of the 1990 Glasgow Workshop on Functional Programming 13-15 August 1990, Ullapool, Scotland /
by: Jones, Simon L. Peyton
Published: (1991)

Functional Programming, Glasgow 1991 : Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 /
by: Heldal, Rogardt
Published: (1992)

Object-Oriented Programming in Oberon-2 /
by: Mössenböck, Hanspeter
Published: (1995)

Formal Specification Techniques for Engineering Modular C Programs /
by: Tan, Yang Meng
Published: (1996)

The Field Programming Environment: A Friendly Integrated Environment for Learning and Development /
by: Reiss, Steven P.
Published: (1995)

Systematic Reuse: Issues in Initiating and Improving a Reuse Program : Proceedings of the International Workshop on Systematic Reuse, Liverpool, 8-9 January 1996 /
by: Sarshar, Marjan
Published: (1996)

The Synthesizer Generator : a System for Constructing Language-Based Editors /
by: Reps, Thomas W.
Published: (1989)

PISA : A Programming System for Interactive Production of Application Software /
by: Marty, Rudolf
Published: (1981)

Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs /
by: Ying, Mingsheng
Published: (2001)

Empirical Foundations of Information and Software Science III /
by: Rasmussen, Jens
Published: (1987)

Software Engineering Education : The Educational Needs of the Software Community /
by: Gibbs, Norman E.
Published: (1987)

Security and Persistence : Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8-11 May 1990, Bremen, West Germany /
by: Rosenberg, John
Published: (1990)

Aspects of Safety Management : Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001 /
by: Redmill, Felix
Published: (2001)

Modula-2 : An Introduction /
by: Thalmann, Daniel
Published: (1985)

Software Pioneers : Contributions to Software Engineering /
by: Broy, Manfred
Published: (2002)

The NeWS Book : an Introduction to the Network/Extensible Window System /
by: Gosling, James, 1955-
Published: (1989)

Visual Database Systems 4 (VDB4) : IFIP TC2 /
by: Ioannidis, Yannis
Published: (1998)

Approaches to Prototyping /
by: Budde, Reinhard
Published: (1984)

High-Integrity System Specification and Design /
by: Bowen, Jonathan P.
Published: (1999)

Safety and Reliability of Software Based Systems : Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995) /
by: Shaw, Roger
Published: (1997)

Reliability, Quality and Safety of Software-Intensive Systems : IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece /
by: Gritzalis, Dimitris
Published: (1997)

The Modula-2 Software Component Library /
by: Lins, C. (Charles)
Published: (1989)

Shifting Paradigms in Software Engineering : Proceedings of the 7th Joint Conference of the Austrian Computer Society (OCG) and the John von Neumann Society for Computing Sciences (NJSZT) in Klagenfurt, Austria, 1992 /
by: Mittermeir, Roland
Published: (1992)

IFM'99 : Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 /
by: Araki, Keijiro
Published: (1999)