Computer programming and formal systems :: SCD d'Orléans

Computer programming and formal systems

Computer programming and formal systems

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Braffort, Paul, 1923- (HerausgeberIn), Hirschberg, D. (HerausgeberIn)
Format:	Livre papier
Sprache:	Anglais
Veröffentlicht:	Amsterdam : North-Holland Pub. Co. 1970.
Schriftenreihe:	Studies in logic and the foundations of mathematics
Schlagworte:	Langages de programmation
Autres localisations:	Voir dans le Sudoc

Ähnliche Einträge

Programming computer vision with Python
von: Solem, Jan Erick
Veröffentlicht: (2012)

Computer programming and formal systems
Veröffentlicht: (1963)

Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987 : proceedings

Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings

Formal methods in programming and their applications : international conference, Academgorodok, Russia June 28 July 2, 1993 : proceedings

Functional programming languages and computer architecture : Nancy, France, September 16 19, 1985

Towards a formal description of Ada
von: Bjørner, Dines, 1937-

Formal syntax and semantics of Java
von: Alves-Foss, Jim, 1964-

Fortran programming
von: Jamison, Robert V.
Veröffentlicht: (1966)

Programming in Pascal
von: Grogono, Peter, 1944-
Veröffentlicht: (1980)

Programming in PASCAL
von: Grogono, Peter, 1944-
Veröffentlicht: (1978)

Programming with sets : an introduction to SETL
von: Schwartz, Jacob T., 1930-2009
Veröffentlicht: (1986)

Programming languages, information structures and machine organization
von: Wegner, Peter, 19..-
Veröffentlicht: (1971)

The Programming language Ada : reference manual : proposed standard document

The art of computer programming. Sorting and searching
von: Knuth, Donald Ervin, 1938-
Veröffentlicht: (1973)

Atmel ARM Programming for Embedded Systems : using C Language
von: Mazidi, Muhammad Ali, et al.
Veröffentlicht: (2017)

LOGLAN '88 - report on the programming language
von: Kreczmar, Antoni, 1945-, et al.

Programming embedded systems : with C and GNU development tools
von: Barr, Michael, 1937-, et al.
Veröffentlicht: (2006)

Programming language pragmatics
von: Scott, Michael Lee, 1959-
Veröffentlicht: (2015)

Programming Kotlin : creating elegant, expresive, and performant JVM and Android applications
von: Subramaniam, Venkat
Veröffentlicht: (2019)

An introduction to computer programming
von: George, Frank Honywill, 1921-
Veröffentlicht: (1968)

The art of computer programming. Seminumerical algorithms
von: Knuth, Donald Ervin, 1938-
Veröffentlicht: (1981)

Formal methods for industrial applications : specifying and programming the steam boiler control
von: Abrial, Jean-Raymond, 1938-2025, informaticien

A discipline of programming
von: Dijkstra, Edsger Wybe, 1930-2002
Veröffentlicht: (1976)

Pascal, an introduction to methodical programming
von: Findlay, William, 1947-, et al.
Veröffentlicht: (1978)

Computer programming in quantitative biology
von: Davies, R.G
Veröffentlicht: (1975)

Induction, recursion, and programming
von: Wand, Mitchell
Veröffentlicht: (1980)

The C++ programming language
von: Stroustrup, Bjarne, 1950-
Veröffentlicht: (1997)

C programming for dummies
von: Gookin, Dan, 1960-
Veröffentlicht: (2020)

The C++ programming language
von: Stroustrup, Bjarne, 1950-
Veröffentlicht: (2013)

Formal development of reactive systems : case study production cell
von: Lewerentz, Claus, 19..-

Programming languages implementation and logic programming : [first] International Workshop PLILP '88 Orléans, France, May 16 18, 1988 : proceedings

Programming constraint services : high-level programming of standard and new constraint services
von: Schulte, Christian, 19..-

A primer on scientific programming with python
von: Langtangen, Hans Petter, 1962-2016

Parallel programming in C with MPI and OpenMP
von: Quinn, Michael J., 19..-...., informaticien
Veröffentlicht: (2004)

Programming languages and their definition
von: Bekič, Hans, 1936-1982

Reasoning with logic programming
von: Alferes, José Júlio, 1966-, et al.

Foundations of equational logic programming
von: Hölldobler, Steffen, 1957-

New trends in formal languages : control, cooperation, and combinatorics
von: Păun, Gheorghe, 1950-

Structured programming and problem-solving with PASCAL
von: Kieburtz, Richard B., 1933-
Veröffentlicht: (1978)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales