Systems and Software Verification: Model-Checking Techniques and Tools
Full Title: | Systems and Software Verification: Model-Checking Techniques and Tools |
---|---|
ISBN: | 3540415238 |
ISBN13: | 9783540415237 |
List Price: | USD $149.99 |
Authors: |
Berard, B. Bidoit, M. Finkel, A. Laroussinie, F. Petit, A. Petrucci, L. Schnoebelen, P. |
Related ISBNs