Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Joost-Pieter Katoen
,
Perdita Stevens
Details
OL Work ID
OL25673104W
Find this book
Goodreads
Open Library