Résultat(s) 1 - 2 résultats de 2 pour la requête 'Abrial Jean-Raymond', Temps de recherche: 0,01s Affiner les résultats
  1. 1
    The B-book : assigning programs to meanings
    par Abrial Jean-Raymond
    Cambridge University press C 1996
    Livre
  2. 2
    Modeling in Event-B : system and software engineering
    par Abrial Jean-Raymond
    Cambridge University Press 2010
    Livre
Réutiliser cette recherche: Flux RSS – Envoyer cette recherche par courriel – Enregistrer la recherche

Vous cherchez un article par son titre ?

Consultez notre mode d'emploi sur les accès aux ressources numériques et l'activation de Nantilien.