Computer programming and formal systems /

Computer programming and formal systems /

57

Bibliographic Details
Main Authors:	Braffort, P., Hirschberg, D.
Format:
Published:	Amsterdam : North-Holland, 1963
Subjects:	Programming (Electronic computers)

Similar Items

Formal specification of interactive graphics programming languages /
by: 456219 Mallgren, William R.
Published: (1983)

An introduction to formal program verification /
by: 208742 Mili, Ali
Published: (1985)

Computer programming /
by: Blacklock, P.
Published: ( 199)

Introduction to computers and computer programming /
by: 403756 Prince, Lawrence J., et al.
Published: (1972)

Programming and computer software
Published: (1979)

Introduction to computers and computer programming /
by: 174370 Bergman, Samuel, et al.
Published: (1972)

Computer programming : techniques, analysis and mathematics /
by: Andree, Richard Vernon, 1919-, et al.
Published: (1973)

Computer programming /
by: 307957 Murray-Shelley, Richard
Published: (1970)

The art of computer programming /
by: Knuth, Donald Ervin, 1938-
Published: (1969)

Computer programming handbook /
by: 387183 Stark, Peter A.
Published: (1975)

Art of computer programming /
by: Knuth, Donald Ervin, 1938-
Published: (19-)

An introduction to computer programming /
by: George, F. H. (Frank Honywill), 1921-
Published: (1968)

Using computers : programming and problem solving /
by: 433338 Elgarten, Gerald H., et al.
Published: (1984)

Science of computer programming
Published: (1981)

The elements of digital computer programming /
by: 205204 Reilly, Edwin D., et al.
Published: (1968)

Computers and programming guide for scientists and engineers /
by: 243736 Spencer, Donald D.
Published: (1980)

Formal models in programming /
by: IFIP TC2 Working Conference On The Role of Abstract Models In Information Processing (1985 : Vienna, Austria), et al.
Published: (1985)

Computer programming
by: 236645 Firth, J. R.
Published: (1983)

How computer programming works /
by: 405952 Appleman, Daniel, et al.
Published: (1994)

Computer programming for spatial problems /
by: 186755 Macdougall, E. Bruce
Published: (1976)

Introduction to computer programming /
by: 368828 Cutler, Donald I.
Published: (1972)

Computer programming problems
by: 10383 National Computing Centre Limited Batch 1
Published: (1973)

Programming : an introduction to computer techniques/
by: 301105 Maurer, Ward Douglas
Published: (1972)

Introduction to computer programming for chemists /
by: 365204 Isenhour, Thomas L., et al.
Published: (1972)

Computer programming for business and social science /
by: 212818 Emerick, Paul L., et al.
Published: (1970)

Formalization of programming concepts /
by: International Colloquium on Formalization of Programming Concepts (1981 : Peniscola, Spain), et al.
Published: (1981)

Computer programming : a mixed language approach /
by: 450324 Stein, Marvin L., et al.
Published: (1964)

Computer programs for computational assistance in study of linear control theory /
by: 319204 Melsa, James L.
Published: (1970)

Interactive computer simulation without programming /
by: 438377 Moscardini, A. O., et al.

Computer programs for spelling correction : an experiment in program design /
by: 276066 Peterson, James L.
Published: (1980)

Programming techniques in computer aided design /
by: Sabin, M. A. (Malcolm Arthur)
Published: (1974)

Computers : a programming problem approach /
by: 400172 Sprowls, R. Clay
Published: (1968)

One hundred computer programming problems /
by: 398010 Newey, A. J.
Published: (1973)

Computers : genesis, programming and applications /
by: 176302 Subramaniam, N.
Published: (1979)

Visual languages for interactive computing : definitions and formalizations /
by: Ferri, Fernando
Published: (2008)

Programming distributed computing systems : a foundational approach /
by: Varela, Carlos A.
Published: (2013)

Computers : programming and applications /
by: 244482 Maisel, Herbert
Published: (1976)

program tuning and optimisation evaluation of programming and systems techniques
Published: (1974)

Equations, models and programs : a mathematical introduction to computer science /
by: 250260 Myers, Thomas J.
Published: (1988)

Computer programming for electrical engineers/
by: 307957 Murray-Shelley, Richard
Published: (1975)