Mostrando  Paperback Book   ·   Mostrar tudo
Mostrar itens não disponíveis

Lançamentos por Muller-olm, M. (Universitat Dortmund, Germany)

6 de agosto de 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)
Paperback Book
1997 edition
Modular Compiler Verification: a...
Muller-olm, M. (Universitat Dort...