Explore
keyword: verification of machine – 2 free books.
These books are available in PDF format - good for desktops, printing.
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner and Laura Kovács, editors
AVAILABLE!
Login to Fave
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner and Laura Kovács
AVAILABLE!
Login to Fave