Books by de Roever, Willem-Paul — EbookNetworking.net

EbookNetworking 🔍 Search Books

📄 Lite AMP versionFull site ›

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
de Roever, Willem-Paul
71.00
View Details ›
Data Refinement: Model-Oriented Proof Methods and their Comparison
de Roever, Willem-Paul
81.95
View Details ›