Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Partial order methods in verification: DIMACS workshop July 24-26, 1996/ Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors.
Series: DIMACS series in discrete mathematics and theoretical computer science ; 29Publication details: Providence, R.I.: American Mathematical Society, c1997.Description: xiv, 403 p.: ill.; 26 cmISBN:- 0821805797
- 006.601 P273
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 006.601 P273 1997 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000163934 |
"Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University, New Jersey"--Pref.
Includes bibliographical references.
There are no comments on this title.