Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, … (Lecture Notes in Computer Science, 1680)
$2,079.00
| Weight | 32.1 kg |
|---|---|
| ISBN | |
| ISBN13 | |
| Author | |
| Publisher | |
| Binding | |
| Lenguage | |
| Publish Year | |
| Edition | |
| Pages |
