skip to main content
Filtré par : sujet: Preuve de programme supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter à Mon espace

PROGRAM SPECIFICATION APPLIED TO A TEXT FORMATTER.

New York : IEEE, 1982

Voir les exemplaires

2
Higher order operational techniques in semantics : HOOTS
Material Type:
Livre
Ajouter à Mon espace

Higher order operational techniques in semantics : HOOTS

Congrès Cambridge MA 1995. ; Gordon, Andrew D. ; Pitts, Andrew M.

Cambridge : Cambridge University Press, 1998

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

ICFP'04 : proceedings of the ninth ACM SIGPLAN international conference on functional programming, september 19-21, 2004, Snowbird, Utah, USA

New York : ACM Press, 2004

Voir les exemplaires

4
Material Type:
Livre
Ajouter à Mon espace

ABSTRACT IMPLEMENTATIONS AND THEIR CORRECTNESS PROFFS.

New York : ACM, 1983

Voir les exemplaires

5
Conference record of the Ninth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Albuquerque, New Mexico, January 25-27, 1982
Material Type:
Livre
Ajouter à Mon espace

Conference record of the Ninth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Albuquerque, New Mexico, January 25-27, 1982

ACM Symposium on Principles of Programming Languages ACM Symposium on Principles of Programming Languages 9th Albuquerque, N.M. 1982 ; Special group on algorithms and computation theory Etats-Unis ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis

New York, N.Y. Baltimore, MD : ACM May be ordered from ACM Order Dept., 1982

Voir les exemplaires

6
HANDBOOK OF THEORETICAL COMPUTER SCIENCE. B, FORMAL MODELS AND SEMANTICS.
Material Type:
Livre
Ajouter à Mon espace

HANDBOOK OF THEORETICAL COMPUTER SCIENCE. B, FORMAL MODELS AND SEMANTICS.

AMSTERDAM : NORTH-HOLLAND, 1990

Voir les exemplaires

7
Tools and notions for program construction : an advanced course
Material Type:
Livre
Ajouter à Mon espace

Tools and notions for program construction : an advanced course

Néel, D.

Cambridge New York : Cambridge University Press, 1982

Disponible  et autres localisations(Obtenir)

8
Handbook of theoretical computer science
Material Type:
Livre
Ajouter à Mon espace

Handbook of theoretical computer science

Leeuwen, Jan van (1946-....)

Amsterdam New York Oxford etc. Cambridge, Mass. : Elsevier the MIT press, 1990

Voir les exemplaires(Obtenir)

9
Handbook of software engineering
Material Type:
Livre
Ajouter à Mon espace

Handbook of software engineering

Vick, Charles R. Charles Ralph ; Ramamoorthy, C. V. (1926-) Chittoor V.

New York : Van Nostrand Reinhold Co., 1984

Voir les exemplaires(Obtenir)

10
Material Type:
Livre
Ajouter à Mon espace

INFORMATION PROCESSING 83.

AMSTERDAM : NORTH-HOLLAND, 1983

Voir les exemplaires(Obtenir)

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

N'afficher que

  1. Disponible (1)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré