Explore
keyword: system construction and transforamtion techniques – 1 free books.
These books are included in the Directory of Open Access Books. This means that they have been peer-reviewed and are of interest to scholars.
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
AVAILABLE!
Login to Fave