Mostrar 1 - 2 resultats de 2 per cerca 'Bochmann, G.V', hora de la petició: 0.01sec Refinar resultats
  1. 1

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

    Publicat 1993
    Llibre

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

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

    Article

    Scalability of Web-based electronic commerce systems.

Eines de cerca: