Recherche Connexion Inscription

Recherche Connexion Inscription

Bjørner Dines

Œuvres (1)

Couverture : Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

2007

Bouquins — catalogue de livres francophones. Données bibliographiques : BnF, Google Books, Open Library.