Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání 'Bochmann, G.V', doba hledání: 0,01 s. Upřesnit hledání
  1. 1

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

    Vydáno 1993
    Kniha

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

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

    Článek

    Scalability of Web-based electronic commerce systems.

Vyhledávací nástroje: