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

LE COURRIER DU CNRS 1988 IMAGES DES MATHEMATIQUES.

S.L. : s.n., 1988

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

SPECIFICATION AND VERIFICATION OF CONCURRENT PROGRAMS BY V-AUTOMATA.

S.L. : s.n., 1988

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

AUTO : un systéme de vérification de processus paralléles et communicants A verification system for parallel and communicating processes

Lecompte, Valérie ; Madelaine, Eric ; Vergamini, Didier (1959-....)

Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1987

Voir les exemplaires

4
Material Type:
Thèse
Ajouter à Mon espace

Applications du Model-Checking à des problèmes de vérification de systèmes sur puce

Cachan : Ecole normale supérieure de Cachan, 2005

Voir les exemplaires

5
Material Type:
Thèse
Ajouter à Mon espace

AUTOMATIC VERIFICATION OF FINITE STATE MACHINES USING TEMPORAL LOGIC.

PITTSBURGH : CARNEGIE MELLON UNIVERSITY, 1989

Voir les exemplaires

6
SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE.
Material Type:
Livre
Ajouter à Mon espace

SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE.

WASHINGTON : IEEE, 1990

Voir les exemplaires  et autres localisations

7
Material Type:
Livre
Ajouter à Mon espace

Introduction à l'informatique théorique

Paris : Eyrolles, 1994

Voir les exemplaires

8
Material Type:
Versions multiples

Mathematical theory of computation

Manna, Zohar (1939-....)

Plusieurs versions trouvées
Il y a 2 versions

9
Material Type:
Livre
Ajouter à Mon espace

COLLOGUE C3.

Angoulême : A. Arnold, 1985

Voir les exemplaires

10
Systems and software verification : model-checking techniques and tools
Material Type:
Livre
Ajouter à Mon espace

Systems and software verification : model-checking techniques and tools

Schnoebelen, Philippe ; McKenzie, Pierre

Berlin New York Paris : Springer, 2001

Voir les exemplaires  et autres localisations

11
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

12
Fundamental structures of computer science
Material Type:
Livre
Ajouter à Mon espace

Fundamental structures of computer science

Wulf, William Allan

Reading, Mass. : Addison-Wesley, 1981

Disponible  et autres localisations(Obtenir)

13
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)

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

N'afficher que

  1. Disponible (2)

Nouvelles recherches suggérées

Ignorer ma requête et rechercher tous les documents

Auteur, coauteur:

  1. Leeuwen, Jan van (1946-...)
  2. Manna, Zohar (1939-...)
  3. Madelaine, Eric
  4. Vergamini, Didier (1959-...)
  5. McKenzie, Pierre

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é