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 :
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Programming from specifications
Material Type:
Livre
Ajouter au Panier

Programming from specifications

Morgan, Carroll

Appartient à la collection : Prentice Hall international series in computer science

New York. Prentice Hall, 1994

Indisponible     (->>)

2
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. ?

3
On the Refinement Calculus
On the Refinement Calculus
Material Type:
ebook
Ajouter au Panier

On the Refinement Calculus

Steve A. Morgan, Carroll Vickers, Trevor Schuman

Springer London, 1992

Refine Search Results

N'afficher que

  1. Ressources en ligne (2)

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Morgan, Carroll
  2. Schuman, S
  3. Woodcock, Jim
  4. Bird, Richard Simpson

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.