W.-P. de Roever
Popular items by W.-P. de Roever
View all offers-
Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Roever, Willem-Paul De
Item prices starting from
View 31 offers£ 70.97
