Matches in Library of Congress for { <http://lccn.loc.gov/96048739> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 96048739 contributor B7791960.
- 96048739 contributor B7791961.
- 96048739 contributor B7791962.
- 96048739 created "c1997.".
- 96048739 date "1997".
- 96048739 date "c1997.".
- 96048739 dateCopyrighted "c1997.".
- 96048739 description "Includes bibliographical references.".
- 96048739 extent "xiv, 403 p. :".
- 96048739 identifier "0821805797".
- 96048739 isPartOf "DIMACS series in discrete mathematics and theoretical computer science, 1052-1798 ; v. 29".
- 96048739 issued "1997".
- 96048739 issued "c1997.".
- 96048739 language "eng".
- 96048739 publisher "Providence, R.I. : American Mathematical Society,".
- 96048739 subject "005.2/76 21".
- 96048739 subject "Computer software Verification Congresses.".
- 96048739 subject "Electronic data processing Distributed processing Congresses.".
- 96048739 subject "QA76.9.D5 P368 1997".
- 96048739 title "Partial order methods in verification : DIMACS workshop July 24-26, 1996/ Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors.".
- 96048739 type "text".