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 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 006.6 Y67i 2004 IMPA Invariance, deformations et reconnaissance de formes/ | 006.601 M426 2009 IMPA Mathematical foundations of scientific visualization, computer graphics, and massive data exploration/ | 006.601 N692i 2007 IMPA Iterated function systems for real-time image synthesis/ | 006.601 P273 1997 IMPA Partial order methods in verification: DIMACS workshop July 24-26, 1996/ | 006.6015 V767v 2007 IMPA Vector analysis for computer graphics/ | 006.60151 C958 1994 IMPA CSG 94: set-theoretic solid modelling techniques and applications : proceedings of the CSG 94 Conference : Winchester, UK, 13-15 April 1994. | 006.60151 V767m 2010 IMPA Mathematics for computer graphics/ |
"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.