Explore
keyword: system construction and transformation techniques – 2 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
Armin Biere and David Parker
AVAILABLE!
Login to Fave
Armin Biere and David Parker, editors
AVAILABLE!
Login to Fave