Suchergebnisse - Roever, W.-P. de 1943-

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

    Data refinement: model-oriented proof methods and their comparison
    von Roever, W.-P. de 1943-

    Veröffentlicht 1998
    Online lesen
    E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Data refinement: model-oriented proof methods and their comparison
    von Roever, W.-P. de 1943-

    Veröffentlicht 1998
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: