Résultat(s) 1 - 2 résultats de 2 pour la requête 'Bochmann, G. V.', Temps de recherche: 0,01s Affiner les résultats
  1. 1

    Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.

    Publié 1993
    Livre

    Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.
  2. 2

    Scalability of Web-based electronic commerce systems. par Bochmann, G.V

    Article

    Scalability of Web-based electronic commerce systems.

Outils de recherche: