Loading…

Computer programming and formal systems

Show other versions (1)

Bibliographic Details
Call Number:	Libro Electrónico
Other Authors:	Braffort, P. (Paul) (Editor), Hirschberg, D. (David) (Editor)
Format:	Electronic eBook
Language:	Inglés
Published:	Amsterdam, North-Holland Pub. Co., 1963.
Series:	Studies in logic and the foundations of mathematics.
Subjects:	Computer programming. Programmation (Ordinateurs) Programmation (Informatique) computer programming. Computer programming
Online Access:	Texto completo Texto completo Texto completo

Similar Items

Computer programming and formal systems /
Published: (1959)

Computer programming and computer systems.
by: Hassitt, Anthony
Published: (1967)

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

Advanced programming methodologies /
Published: (1989)

Annual review in automatic programming.
Published: (1961)

Annual review in automatic programming.
Published: (1964)

Programming, the impossible challenge /
by: Walraet, Bob
Published: (1989)

Your wish is my command : programming by example /
Published: (2001)

Computer programming languages in practice : made simple computerbooks /
by: Hofeditz, Calvin A.
Published: (1985)

Texturing & modeling : a procedural approach /
Published: (2003)

Programming: ALGOL
by: Malcolme-Lawes, D. J.
Published: (1969)

Perl scripting for Windows security : live response, forensic analysis, and monitoring /
by: Carvey, Harlan A.
Published: (2007)

Advances in software science and technology.
Published: (1994)

Advances in software science and technology.
Published: (1990)

Computing for calculus /
by: Christensen, Mark J.
Published: (1981)

Advances in software science and technology.
Published: (1991)

Large problems, small machines : transforming your programs with advanced algorithms /
by: Heller, Steve, 1949 April 17-
Published: (1992)

Handbook of constraint programming /
Published: (2006)

Advances in programming and non-numerical computation
Published: (1966)

Deploying secure containers for training and development /
by: Schipp, Jon
Published: (2016)

Advances in software science and technology.
Published: (1993)

Control systems functions and programming approaches.
by: Chorafas, Dimitris N.
Published: (1966)

An introduction to programming with specifications : a mathematical approach /
by: Kubiak, Ryszard
Published: (1991)

Software engineering /
by: Thorin, Marc
Published: (1985)

Texturing & modeling : a procedural approach /
Published: (2003)

Advances in software science and technology.
Published: (1992)

Intel Xeon Phi coprocessor high-performance programming /
by: Jeffers, Jim (Computer engineer)
Published: (2013)

Decision table languages and systems /
by: Metzner, John R., et al.
Published: (1977)

Tcl/tk : a developer's guide /
by: Flynt, Clif
Published: (2003)

Building robots with Lego Mindstorms : the ultimate tool for Mindstorms maniacs! /
by: Ferrari, Mario
Published: (2002)

High-level language computer architecture /
Published: (1975)

High performance parallelism pearls : multicore and many-core programming approaches.
by: Reinders, James
Published: (2015)

Discrete computational structures
by: Korfhage, Robert R.
Published: (1974)

Data structures : theory and practice /
by: Berztiss, Alfs T.
Published: (1971)

An introduction to digital computing
by: George, F. H. (Frank Honywill), 1921-1997
Published: (1966)

MATLAB : a practical introduction to programming and problem solving /
by: Attaway, Stormy
Published: (2011)

MATLAB : a practical introduction to programming and problem solving /
by: Attaway, Stormy
Published: (2013)

C4.5 : programs for machine learning /
by: Quinlan, J. R. (John Ross), 1943-
Published: (1993)

Matlab by example : programming basics /
by: Gdeisat, Munther, et al.
Published: (2013)

MATLAB : a practical introduction to programming and problem solving /
by: Attaway, Stormy
Published: (2019)