Matches in Library of Congress for { <http://lccn.loc.gov/96054839> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 96054839 contributor B7797836.
- 96054839 contributor B7797837.
- 96054839 created "c1997.".
- 96054839 date "1997".
- 96054839 date "c1997.".
- 96054839 dateCopyrighted "c1997.".
- 96054839 description "Includes bibliographical references.".
- 96054839 extent "xii, 203 p. :".
- 96054839 identifier "0821806807 (alk. paper)".
- 96054839 isPartOf "DIMACS series in discrete mathematics and theoretical computer science, 1052-1798 ; v. 32".
- 96054839 issued "1997".
- 96054839 issued "c1997.".
- 96054839 language "eng".
- 96054839 publisher "Providence, R.I. : American Mathematical Society,".
- 96054839 subject "005.2/76 21".
- 96054839 subject "Computer software Verification Congresses.".
- 96054839 subject "QA76.76.V47 W677 1996".
- 96054839 subject "SPIN (Computer file) Congresses.".
- 96054839 title "The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996 / Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors.".
- 96054839 type "text".