skip to main content
Résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter à Mon espace

Sémantique axiomatique et automatisation de la preuve des programmes data-parallèles

S.L. : s.n., 1993

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

Analysing fair parametric extended automata

Berlin Heidelberg : Springer, 2001

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

Rapport scientifique et technique Bertin : 1995

Plaisir FRA : s.n., 1995

Voir les exemplaires

4
Material Type:
Livre
Ajouter à Mon espace

Rapport scientifique et technique Bertin : 1996

Plaisir FRA : s.n., 1996

Voir les exemplaires

5
Material Type:
Livre
Ajouter à Mon espace

SOMETIME=ALWAYS+RECURSION==ALWAYS ON THE EQUIVALENCE OF THE INTERMITTENT AND INVARIANT ASSERTIONS METHODS FOR PROVING INEVITABILITY PROPERTIES OF PROGRAMS.

Berlin Heidelberg : Springer, 1987

Voir les exemplaires

6
Material Type:
Livre
Ajouter à Mon espace

CONTROL PREDICATES ARE BETTER THAN DUMMY VARIABLES FOR REASONNING ABOUT PROGRAM CONTROL.

PALO-ALTO : DIGITAL, 1986

Voir les exemplaires

7
STRATEGIES D'OPTIMISATION ET EVALUATION DE PERFORMANCE DU PROTOCOLE DE VALIDATION EN DEUX PHASES.
Material Type:
Thèse
Ajouter à Mon espace

STRATEGIES D'OPTIMISATION ET EVALUATION DE PERFORMANCE DU PROTOCOLE DE VALIDATION EN DEUX PHASES.

ROCQUENCOURT : INRIA, 1991

Voir les exemplaires

8
Material Type:
Livre
Ajouter à Mon espace

Invariants, compositionality and Substitution

S.L. : s.n., 1992

Voir les exemplaires

9
Material Type:
Livre
Ajouter à Mon espace

SPECIFYING THE SEMANTICS OF WHILE PROGRAMS : A TUTORIAL AND CRITIQUE OF A PAPER BY HOARE AND LAUER

New York : ACM, 1981

Voir les exemplaires

10
Material Type:
Livre
Ajouter à Mon espace

PARALLEL PROGRAMS : PROOFS,PRINCIPLES,AND PRACTICE

Andrews, Gregory R.

New York : ACM, 1981

Voir les exemplaires

11
Material Type:
Thèse
Ajouter à Mon espace

Analyse de programmes annotés par des assertions

Fraer, Ranan

Grenoble : ANRT diff., 1997

Voir les exemplaires

12
Material Type:
Livre
Ajouter à Mon espace

A brief study in automating proofs based on a refined hoare-logic

Munich DEU : Technische Universität München, 1996

Voir les exemplaires

13
Material Type:
Livre
Ajouter à Mon espace

Mechanical proofs of secutity properties

Rennes : IRISA, 1994

Voir les exemplaires

14
Material Type:
Livre
Ajouter à Mon espace

Data flow analysis for checking properties of concurrent Java programs

1999

Voir les exemplaires

15
Material Type:
Livre
Ajouter à Mon espace

PROOFS OF NETWORKS OF PROCESSES.

IEEE, 1981

Voir les exemplaires

16
Material Type:
Livre
Ajouter à Mon espace

PROVING TOTAL CORRECTNESS OF RECURSIVE PROCEDURES.

America, P. ; De Boer, F.S.

s.l. : s.n., 1989

Voir les exemplaires

17
Material Type:
Livre
Ajouter à Mon espace

ON-THE-FLY Verification of Finite Transition Systems

S.L. : s.n., 1993

Voir les exemplaires

18
Material Type:
Livre
Ajouter à Mon espace

AN AXIOMATIC PROOF TECHNIQUE FOR PARALLEL PROGRAMS I.

Berlin Heidelberg : Springer, 1976

Voir les exemplaires

19
Material Type:
Livre
Ajouter à Mon espace

AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING.

New York : ACM, 1969

Voir les exemplaires

20
Material Type:
Livre
Ajouter à Mon espace

SET (A) OF INFERENCE RULES FOR QUANTTIFIED FORMULA HANDLING AND ARRAY HANDLING IN VERIFICATION OF PROGAMS OVER INTEGERS.

New York : IEEE, 1989

Voir les exemplaires

Résultats 1 2 3 4 5 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

N'afficher que

  1. Disponible (8)

Type de ressource 

  1. Livres  (164)
  2. Thèses  (39)
  3. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1980  (16)
  2. 1980 à 1986  (58)
  3. 1987 à 1993  (56)
  4. 1994 à 2001  (53)
  5. Après 2001  (22)
  6. Plus d’options open sub menu

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é