Matches in Library of Congress for { <http://lccn.loc.gov/99049725> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 99049725 contributor B8673880.
- 99049725 contributor B8673881.
- 99049725 contributor B8673882.
- 99049725 created "c1999.".
- 99049725 date "1999".
- 99049725 date "c1999.".
- 99049725 dateCopyrighted "c1999.".
- 99049725 description "Includes bibliographical references and index.".
- 99049725 extent "x, 276 p. :".
- 99049725 identifier "3540664998 (alk. paper)".
- 99049725 identifier 99049725-d.html.
- 99049725 isPartOf "Lecture notes in computer science ; 1680".
- 99049725 issued "1999".
- 99049725 issued "c1999.".
- 99049725 language "eng".
- 99049725 publisher "Berlin : New York : Springer-Verlag,".
- 99049725 subject "005.2/76 21".
- 99049725 subject "Computer software Verification Congresses.".
- 99049725 subject "QA76.76.V47 I58 1999".
- 99049725 subject "SPIN (Computer file) Congresses.".
- 99049725 title "Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams ... [et al.], (Eds.)".
- 99049725 type "text".