skip to main content
Résultats 1 2 3 4 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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 ; Bérard, Béatrice ; Bidoit, Michel (1957-....) ; Finkel, Alain (1958-....)

Berlin New York Paris : Springer, 2001

Voir les exemplaires

2
Compiler specification and verification
Material Type:
Livre
Ajouter à Mon espace

Compiler specification and verification

Polak, Wolfgang (1950-....)

Berlin Heidelberg New York : Springer-Verlag, 1981

Voir les exemplaires

3
Material Type:
Versions multiples

Principles of model checking

Baier, Christel. ; Katoen, Joost-Pieter.

Plusieurs versions trouvées
Il y a 3 versions

4
Model checking software : 19th international workshop, SPIN 2012 Oxford, UK, July 23-24, 2012 proceedings
Material Type:
Livre
Ajouter à Mon espace

Model checking software : 19th international workshop, SPIN 2012 Oxford, UK, July 23-24, 2012 proceedings

SPIN 2012 SPIN 2012 Model Checking Software 19 Oxford (UK) July 23-24, 2012 International workshop on ; Donaldson, Alastair ; Parker, David

Berlin Heidelberg : Springer, 2012

Voir les exemplaires

5
Material Type:
Thèse
Ajouter à Mon espace

On type-based termination and dependent pattern matching in the calculus of inductive constructions

Sacchini, Jorge Luis (1980-....) ; Barthe, Gilles (1967-....) ; Institut national de recherche en informatique et en automatique Unité de recherche France Sophia Antipolis, Alpes-Maritimes ; École nationale supérieure des mines Paris

Paris : MINES ParisTech, 2011

Accessible en ligne. Accessible en version papier

6
Temporal verification of reactive systems : safety
Material Type:
Livre
Ajouter à Mon espace

Temporal verification of reactive systems : safety

Manna, Zohar (1939-....) ; Pnueli, Amir (1941-....)

New York N. Y. Berlin Paris, etc. : Springer, 1995

Voir les exemplaires

7
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 proceedings
Material Type:
Livre
Ajouter à Mon espace

Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 proceedings

International SPIN Workshop International SPIN Workshop 9th Grenoble, FR 2002 ; Bošnački, Dragan (1963-) ; Leue, Stefan

Berlin Heidelberg New York : Springer, 2002

Voir les exemplaires

8
Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014. Vienna, Austria, July 18-22, 2014 Proceedings
Material Type:
Livre
Ajouter à Mon espace

Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014. Vienna, Austria, July 18-22, 2014 Proceedings

Computer aided verification Computer aided verification International conference 26 Vienna, Austria July 18-22, 2014 ; Biere, Armin (1967-) ; Bloem, Roderick

Berlin Heidelberg : Springer, 2014

Voir les exemplaires

9
Verification of sequential and concurrent programs
Material Type:
Livre
Ajouter à Mon espace

Verification of sequential and concurrent programs

Apt, Krzysztof R. (1949-) ; Olderog, E.-R.

New York : Springer-Verlag, 1991

Voir les exemplaires

10
Computer aided verification : 22nd International conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 proceedings
Material Type:
Livre
Ajouter à Mon espace

Computer aided verification : 22nd International conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 proceedings

International conference on computer-aided verification International conference on computer-aided verification 22 July 15-19, 2010 Edimbourgh, Royaume-Uni CAV 2010 ; Touili, Tayssir (1976-....) ; Jackson, Paul, informaticien ; Cook, Byron

Berlin New York : Springer, 2010

Voir les exemplaires

11
Material Type:
Thèse
Ajouter à Mon espace

Algorithmique de la vérification des systèmes à compteurs : approximation et accélération, implémentation de l'outil FAST

Leroux, Jérôme (1976-....) ; Finkel, Alain (1958-....) ; École normale supérieure Cachan, Val-de-Marne

S.l. : s.n., 2003

Voir les exemplaires

12
Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings
Material Type:
Livre
Ajouter à Mon espace

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings

Giacobazzi, Roberto ; Berdine, Josh, chercheur en informatique ; Mastroeni, Isabella, chercheur en informatique ; International Conference on Verification, Model Checking, and Abstract Interpretation 433352 14 2013 Rome, Italy

Heidelberg Dordrecht London New York : Springer, 2013

Voir les exemplaires

13
Software verification and validation : realistic project approaches
Material Type:
Livre
Ajouter à Mon espace

Software verification and validation : realistic project approaches

Deutsch, Michael S

Englewood Cliffs, NJ : Prentice-Hall, c1982

Disponible(Obtenir)

14
Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 Proceedings
Material Type:
Livre
Ajouter à Mon espace

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 Proceedings

International conference on verification, model checking and abstract interpretation International conference on verification, model checking and abstract interpretation 6 2005 Paris, FR ; Cousot, Radhia

Berlin Heidelberg : Springer, 2005

Voir les exemplaires(Obtenir)

15
How to do linguistics with R : data exploration and statistical analysis
Material Type:
Livre
Ajouter à Mon espace

How to do linguistics with R : data exploration and statistical analysis

Levshina, Natalia

Amsterdam Philadelphia : John Benjamins Publishing Company, 2015

Voir les exemplaires(Obtenir)

16
Computer aided verification proceedings : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004
Material Type:
Livre
Ajouter à Mon espace

Computer aided verification proceedings : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004

CAV 2004 CAV 2004 16 2004 Boston, Mass., US ; Alur, Rajeev ; Peled, Doron A. (1962-...)

Berlin New York : Springer, 2004

Voir les exemplaires(Obtenir)

17
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Material Type:
Livre
Ajouter à Mon espace

Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Damm, Werner ; Hermanns, Holger

Berlin Heidelberg New York etc. : Springer, 2007

Voir les exemplaires(Obtenir)

18
Static analysis : 15th International symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 proceedings
Material Type:
Livre
Ajouter à Mon espace

Static analysis : 15th International symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 proceedings

International Static Analysis Symposium International Static Analysis Symposium 15th 2008 Valencia, Spain SAS 2008 ; Alpuente, María ; Vidal, Germán

Berlin New York : Springer, 2008

Voir les exemplaires(Obtenir)

19
Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 proceedings
Material Type:
Livre
Ajouter à Mon espace

Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 proceedings

International Conference on Verification, Model Checking, and Abstract Interpretation International Conference on Verification, Model Checking, and Abstract Interpretation 12 2011 Austin, US ; Schmidt, David A (1953-....) ; Jhala, Ranjit

Berlin Heidelberg : Springer, 2011

Voir les exemplaires(Obtenir)

20
Material Type:
Thèse
Ajouter à Mon espace

Analyse statique des systèmes de contrôle-commande : invariants entiers et flottants

Maisonneuve, Vivien (1987-....) ; Irigoin, François ; École nationale supérieure des mines Paris ; Ecole doctorale Sciences des métiers de l'ingénieur Paris ; Centre de recherche en informatique Fontainebleau, Seine et Marne

2015

Accessible en ligne. Accessible en version papier

Résultats 1 2 3 4 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (1)
  2. Autres  (3)
  3. Livres  (45)
  4. Thèses  (13)
  5. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1992  (5)
  2. 1992 à 1999  (5)
  3. 2000 à 2004  (15)
  4. 2005 à 2010  (17)
  5. Après 2010  (20)
  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é