Computer programming and formal systems.

Computer programming and formal systems.

Saved in:

Bibliographic Details
Main Author:	Braffort, P. (Pauleed
Other Authors:	Hirschberg, D. (Davidejoint ed
Format:	Book
Published:	Amsterdam North-Holland Pub. Co. 1963
Subjects:	Programming (Electronic computers > Addresses, essays, lectures
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Programming language systems
Published: (1978)

Introduction to system programming proceedings of a symposium held at the London School of Economics, July, 1962
by: Wegner Peter
Published: (1965)

An introduction to computer systems.
by: Joslin, Edward O.
Published: (1969)

The mythical man-month essays on software engineering
by: Brooks, Frederick P. (Frederick Phillips)
Published: (1982)

The mythical man-month essays on software engineering
by: Brooks, Frederick P. (Frederick Phillips)
Published: (1975)

From Circuits to Computers
Published: (1974)

Computers and communications toward a computer utility.
Published: (1968)

A practical guide to minicomputer applications
Published: (1972)

Strategies for programmed instruction an educational technology
Published: (1972)

Mathematical programming in use
Published: (1978)

Random essays on mathematics, education, and computers
by: Kemeny, John G
Published: (1964)

Principles of heavy current engineering a review of the principles of electrical and electronic engineering
by: Solymar, L
Published: (1974)

Computational practice in mathematical programming
Published: (1975)

Simulation and modelling
Published: (1977)

Recurring library issues a reader
Published: (1979)

Security and privacy in computer systems.
by: Hoffman, Lance J.
Published: (1973)

The computer sampler management perspectives on the computer
Published: (1968)

Current practice in program budgeting (PPBSbanalysis and case studies covering government and business.
by: Novick, David
Published: (1973)

Computer graphics techniques and applications
Published: (1970)

Water in biological systems
Published: (1969)

Introductory readings in expert systems
Published: (1982)

Developments in expert systems from a special issue of the International Journal of Man-Machine Studies
Published: (1984)

Readings in marketing strategies and programs compiled by] Joseph P. Guiltinan, Gordon W. Paul
Published: (1982)

Mysticism and logic, and other essays
by: Russell, Bertrand 1872-1970
Published: (1959)

The international monetary system problems and proposals
by: Officer, Lawrence H.
Published: (1969)

Perception, development, communication
Published: (1978)

Management systems.
by: Schoderbek, Peter P.
Published: (1971)

Philosophy a modern encounter
by: Wolff, Robert Paul
Published: (1971)

Software specification techniques
Published: (1986)

Formal models in programming
Published: (1985)

Urbanization and urban planning in capitalist society
Published: (1981)

Comprehension and teaching research reviews
Published: (1981)

Participation in social and political activities
Published: (1980)

Art and archaeology
by: Ackerman, James S, et al.
Published: (1963)

Exploring the universe.
Published: (1963)

Retribution, justice, and therapy essays in the philosophy of law
by: Murphy, Jeffrie G
Published: (1979)

A handbook of strategic planning.
Published: (1972)

The case against pornography
by: Holbrook, David
Published: (1974)

What time is this place?
by: Lynch, Kevin 1918-
Published: (1972)

Current perspectives for managing organizations
by: Bass, Bernard M.
Published: (1970)