Cover Image

Programming with Sets : an Introduction to SETL /

Bibliographic Details
Main Author:	Schwartz, J. T.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Dewar, R. B. K., Schonberg, E., Dubinsky, E.
Format:	eBook
Language:	English
Published:	New York, NY : Springer US, 1986.
Series:	Texts and monographs in computer science.
Subjects:	Computer science. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Programming in the 1990s : an Introduction to the Calculation of Programs /
by: Cohen, Edward
Published: (1990)

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

Program Transformation and Programming Environments /
by: Pepper, Peter
Published: (1984)

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

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

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

The World of Programming Languages /
by: Marcotty, Michael
Published: (1987)

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

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

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

Algorithmic Language and Program Development /
by: Bauer, Friedrich L.
Published: (1982)

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)

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

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)

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

Experimentation in Software Engineering : an Introduction /
by: Wohlin, Claes
Published: (2000)

The NeWS Book : an Introduction to the Network/Extensible Window System /
by: Gosling, James, 1955-
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)

Verification and Validation of Real-Time Software /
by: Quirk, William J.
Published: (1985)

Semantics of Specification Languages (SoSL) : Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 /
by: Andrews, D. J.
Published: (1994)

Elements of C /
by: Lewin, Morton H.
Published: (1986)

Application and Theory of Petri Nets : Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.-26. September 1980 Bad Honnef, 28.-30. September 1981 /
by: Girault, Claude
Published: (1982)

APL2 in Depth /
by: Thomson, Norman D.
Published: (1995)

High-Integrity Software /
by: Sennett, C. T.
Published: (1990)

Intersensory Perception and Sensory Integration /
by: Walk, Richard D.
Published: (1981)

Achievement and Assurance of Safety : Proceedings of the Third Safety-critical Systems Symposium /
by: Redmill, Felix
Published: (1995)

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)

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

An Integrated Approach to Software Engineering /
by: Jalote, Pankaj
Published: (1997)

Essential Dynamic HTML fast /
by: Ayesh, Aladdin
Published: (2000)

The Renaissance of Legacy Systems : Method Support for Software-System Evolution /
by: Warren, Ian
Published: (1999)

The Ada® Generic Library : Linear List Processing Packages /
by: Musser, David R.
Published: (1989)