Näytetään Paperback Book · Näytä kaikki
Näytä loppuunmyydyt julkaisut

Julkaisut sisältäen Muller-olm, M. (Universitat Dortmund, Germany)

keskiviikko 6. elokuuta 1997

Cover for Muller-olm, M. (Universitat Dortmund, Germany) · Modular Compiler Verification: a Refinement-algebraic Approach Advocating Stepwise Abstraction - Lecture Notes in Computer Science (Paperback Book) (1997)

Modular Compiler Verification: a... (1997)

Muller-olm, M. (Universitat Dort...