Coverart for item
The Resource Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings, Corina S. Pasareanu (ed.), (electronic resource)

Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings, Corina S. Pasareanu (ed.), (electronic resource)

Label
Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings
Title
Model checking software
Title remainder
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings
Statement of responsibility
Corina S. Pasareanu (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
OHX
Dewey number
005.1
LC call number
QA76.76.V47
LC item number
I58 2009
http://bibfra.me/vocab/lite/meetingDate
2009
http://bibfra.me/vocab/lite/meetingName
International SPIN Workshop
http://library.link/vocab/relatedWorkOrContributorName
Păsăreanu, Corina S
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary: SL 1 -- Theoretical computer science and general issues
Series volume
5578
http://library.link/vocab/subjectName
  • Computer software
  • Computer simulation
  • Model Checking
  • Programmverifikation
  • Model Checking
  • Programmverifikation
Label
Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings, Corina S. Pasareanu (ed.), (electronic resource)
Instantiates
Publication
Note
This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), that was held at the Grenoble World Trade Center, in Grenoble France, June 26-28, 2009.--Pref
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000318969
Dimensions
unknown
Isbn
9783642026515
Isbn Type
(pbk. : alk. paper)
Lccn
2009928779
Specific material designation
remote
System control number
(WaSeSS)bookssj0000318969
Label
Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings, Corina S. Pasareanu (ed.), (electronic resource)
Publication
Note
This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), that was held at the Grenoble World Trade Center, in Grenoble France, June 26-28, 2009.--Pref
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000318969
Dimensions
unknown
Isbn
9783642026515
Isbn Type
(pbk. : alk. paper)
Lccn
2009928779
Specific material designation
remote
System control number
(WaSeSS)bookssj0000318969

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 ...