Showing 1 - 2 results of 2 for search 'Bochmann, G.V', tempo de consulta: 0.01s Limitar resultados
  1. 1

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

    Publicado 1993
    Libro

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

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

    Artigo

    Scalability of Web-based electronic commerce systems.

Ferramentas de procura: