Solution Manual for Principles of Model Checking
Author(s): Christel Baier, Joost-Pieter Katoen
This solution manual is provided officially and covers all chapters of the textbook (chapters 2 to 10). This solution manual is not a complete one. List of covered exercises are available in the following.
Download Sample
File Specification
Extension | |
Pages | 106 |
Size | 823 KB |
***
We try to make prices affordable. Contact us to negotiate about price.
If you have any questions, contact us here.