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

Computer programming and formal systems

Computer programming and formal systems

محفوظ في:

التفاصيل البيبلوغرافية
مؤلفون آخرون:	Braffort, Paul, 1923-2018 (المحرر), Hirschberg, David (المحرر)
التنسيق:	Livre papier
اللغة:	Anglais
منشور في:	Amsterdam : North-Holland Publishing Company 1963.
سلاسل:	Studies in logic and the foundations of mathematics
الموضوعات:	Ordinateurs
ملاحظة:	Autre tirage : 1967
Autres localisations:	Voir dans le Sudoc

مواد مشابهة

Computer programming and formal systems
منشور في: (1970)

Science of computer programming.

The art of computer programming. Fundamental algorithms
بواسطة: Knuth, Donald Ervin, 1938-
منشور في: (1973)

An introduction to computer programming
بواسطة: George, Frank Honywill, 1921-
منشور في: (1968)

The art of computer programming. Seminumerical algorithms
بواسطة: Knuth, Donald Ervin, 1938-
منشور في: (1981)

Computer programming in quantitative biology
بواسطة: Davies, R.G
منشور في: (1975)

The art of computer programming. Sorting and searching
بواسطة: Knuth, Donald Ervin, 1938-
منشور في: (1973)

Programming computer vision with Python
بواسطة: Solem, Jan Erick
منشور في: (2012)

Linux system programming
بواسطة: Love, Robert
منشور في: (2013)

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

Category theory and computer programming : tutorial and workshop, Guildford, U.K. September 16-20, 1985 : proceedings

Formal methods in computer-aided design : 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

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

Fundamental concepts of programming systems
بواسطة: Ullman, Jeffrey David, 1942-
منشور في: (1976)

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

Formal systems specification : the RPC-memory specification case study
بواسطة: Broy, Manfred, 1949-

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

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

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

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings

The IOTA programming system : a modular programming environment

Formal development of reactive systems : case study production cell
بواسطة: Lewerentz, Claus, 19..-

Programming languages and system architectures : international conference, Zürich, Switzerland, March 2-4, 1994 : proceedings
بواسطة: Gutknecht, Jürg, 1949-

Formal methods in computer aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

Formal methods for industrial applications : specifying and programming the steam boiler control
بواسطة: Abrial, Jean-Raymond, 1938-2025, informaticien

Power programming with RPC
بواسطة: Bloomer, John
منشور في: (1992)

Systematic programming : an introduction
بواسطة: Wirth, Niklaus, 1934-
منشور في: (1973)

Programming languages and systems : First Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings

Programming languages and systems : Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings
بواسطة: Chin, Wei-Ngan

Formal hardware verification : methods and systems in comparison
بواسطة: Kropf, Thomas, 1961-

Computer networks and ISDN systems.
منشور في: (2000)

Formal techniques for networked and distributed systems : FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

Mathematical programming

Interactive multi-objective programming as a framework for computer-aided control system design
بواسطة: Ng, Wai-Yin

Architecture of distributed computer systems
بواسطة: Bochmann, Gregor von, 1941-

The practice of programming
بواسطة: Kernighan, Brian W., 1942-, وآخرون
منشور في: (1999)

International journal of parallel programming.
منشور في: (2002)

Computer systems : Architectures, Modeling, and Simulation : third and fourth international workshops, SAMOS 2003 and SAMOS 2004, Samos, Greece, July 21-23, 2003 and July 19-21, 2004 : proceedings

A discipline of programming
بواسطة: Dijkstra, Edsger Wybe, 1930-2002
منشور في: (1976)

Programming with Qt
بواسطة: Dalheimer, Matthias Kalle
منشور في: (2002)

© 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