Título | Data Refinement: Model-Oriented Proof Methods And Their Comparison | Precio | $975.00 | |
Autor | De Roever Willem-Paul/ Engelhardt Kai | Año | 2008 | |
Editorial | Cambridge University Press | Edición | 1ª | |
Tema | Ciencia, Computacion, Teorias | ISBN | 9780521103503 |