Unfoldings: A Partial-Order Approach to Model Checking by Javier Esparza (Englis
121,90 €
… Most of the chapters are self-contained in order to increase the readability of the content. … The book provides a good overview on unfoldings techniques to researchers and graduate students engaged in model checking and concurrency theory.
Jetzt bei Ebay:
