skip to main content
Langue :
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
Afficher les résultats avec :
Result Number Material Type Add to My Shelf Action Record Details and Options
1
FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings
Material Type:
ebook
Ajouter au Panier

FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

Larsen, Peter Gorm (1964-...) (Ed.) ; Woodcock, Jim (1956-...) (Ed.)

Lecture Notes in Computer Science ; 670

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

2
Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings
Material Type:
ebook
Ajouter au Panier

Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

Dong, Jin Song (Ed.) ; Woodcock, Jim (1956-...) (Ed.)

Lecture Notes in Computer Science ; 2885

Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg. Springer e-books, 2003

3
FM’99 — Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I
Material Type:
ebook
Ajouter au Panier

FM’99 — Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Wing, Jeannette M (Ed.) ; Davies, Jim (Ed.) ; Woodcock, Jim (1956-...) (Ed.)

Lecture Notes in Computer Science ; 1708

Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg. Springer e-books, 1999

4
FM’99 — Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II
Material Type:
ebook
Ajouter au Panier

FM’99 — Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Wing, Jeannette M (Ed.) ; Davies, Jim (Ed.) ; Woodcock, Jim (1956-...) (Ed.)

Lecture Notes in Computer Science ; 1709

Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg. Springer e-books, 1999

5
Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings
Material Type:
ebook
Ajouter au Panier

Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Bird, Richard Simpson (1943-...) (Ed.) ; Morgan, Carroll (Ed.) ; Woodcock, Jim (1956-...) (Ed.)

Lecture Notes in Computer Science ; 669

Berlin [etc.]. Springer, 201. ?

6
FME'96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings
Material Type:
ebook
Ajouter au Panier

FME'96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

Gaudel, Marie-Claude (1946-...) (Ed.) ; Woodcock, James (Ed.)

Lecture Notes in Computer Science ; 1051

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

7
Theoretical Aspects of Computing – ICTAC 2013
Theoretical Aspects of Computing – ICTAC 2013
Material Type:
ebook
Ajouter au Panier

Theoretical Aspects of Computing – ICTAC 2013

Zhiming Woodcock, Jim Zhu, Huibiao Liu

Springer Berlin Heidelberg, 2013

8
Unifying Theories of Programming and Formal Engineering Methods
Unifying Theories of Programming and Formal Engineering Methods
Material Type:
ebook
Ajouter au Panier

Unifying Theories of Programming and Formal Engineering Methods

Zhiming Woodcock, Jim Zhu, Huibiao Liu

Springer Berlin Heidelberg, 2013

9
Theories of Programming and Formal Methods
Theories of Programming and Formal Methods
Material Type:
ebook
Ajouter au Panier

Theories of Programming and Formal Methods

Zhiming Woodcock, Jim Zhu, Huibiao Liu

Springer Berlin Heidelberg, 2013

Refine Search Results

Date de parution 

Affiner à partir de Affiner jusqu'à

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Woodcock, Jim
  2. Liu, Z
  3. Wing, Jeannette M
  4. Davies, Jim
  5. Gaudel, Marie-Claude

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

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