Résultats de la recherche - Bjorner, D. (Dines) 1937-

  • Résultat(s) 1 - 1 résultats de 1
Affiner les résultats
  1. 1

    Formal methods in programming and their applications international conference, Academgorodok, Russia, June/July 1993 proceedings

    Publié 1993
    Livre


    Image de couverture de livre

Outils de recherche: