Design and validation of computer protocols
Gerard J. Holzmann
Prentice Hall
9780135399255
0-13-539925-4
| BOOKSTORE | TOTAL | ||
|---|---|---|---|
| {{condition}} | {{price}} + {{shipping}} s/h | ||
| This book is currently reported out of stock for sale, but WorldCat can help you find it in your local library: | |||