Data Refinement : Model-Oriented Proof Methods and their Comparison
Willem-Paul (Christian-Albrechts Universitat zu Kiel, Germa de Roever
Out of stock
Format: Book (Hardback)
Data Refinement : Model-Oriented Proof Methods and their Comparison
Willem-Paul (Christian-Albrechts Universitat zu Kiel, Germa de Roever
Out of stock
Format: Book (Paperback / softback)