Coverart for item
The Resource Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings, Antti Valmari (ed.), (electronic resource)

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings, Antti Valmari (ed.), (electronic resource)

Label
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings
Title
Model checking software
Title remainder
13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings
Statement of responsibility
Antti Valmari (ed.)
Title variation
  • 13th International SPIN Workshop
  • Thirteenth International SPIN Workshop
  • International SPIN Workshop
  • European Joint Conferences on Theory and Practice of Software
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
OHX
Dewey number
005.1/4
LC call number
QA76.76.V47
LC item number
I58 2006
http://bibfra.me/vocab/lite/meetingDate
2006
http://bibfra.me/vocab/lite/meetingName
International SPIN Workshop
http://library.link/vocab/relatedWorkOrContributorName
Valmari, Antti
Series statement
Lecture notes in computer science,
Series volume
3925
http://library.link/vocab/subjectName
  • Computer software
  • Computer simulation
Label
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings, Antti Valmari (ed.), (electronic resource)
Instantiates
Publication
Note
"Co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS 2006)"--Pref
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000318971
Dimensions
unknown
Isbn
9783540331025
Isbn Type
(pbk.)
Lccn
2006922236
Specific material designation
remote
System control number
(WaSeSS)bookssj0000318971
Label
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings, Antti Valmari (ed.), (electronic resource)
Publication
Note
"Co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS 2006)"--Pref
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000318971
Dimensions
unknown
Isbn
9783540331025
Isbn Type
(pbk.)
Lccn
2006922236
Specific material designation
remote
System control number
(WaSeSS)bookssj0000318971

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...