Coverart for item
The Resource Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings, Alastair Donaldson, David Parker (eds.), (electronic resource)

Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings, Alastair Donaldson, David Parker (eds.), (electronic resource)

Label
Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings
Title
Model checking software
Title remainder
19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings
Statement of responsibility
Alastair Donaldson, David Parker (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Member of
Cataloging source
HUA
Dewey number
005.3028/7
LC call number
QA76.76.V47
LC item number
I58 2012
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
International SPIN Workshop
http://library.link/vocab/relatedWorkOrContributorDate
1977-
http://library.link/vocab/relatedWorkOrContributorName
  • Donaldson, Alastair
  • Parker, David
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
7385
http://library.link/vocab/subjectName
  • Computer software
  • Computer simulation
Summary expansion
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations
Label
Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings, Alastair Donaldson, David Parker (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000746046
Dimensions
unknown
Isbn
9783642317590
Isbn Type
(e-ISBN)
Lccn
2012941285
Specific material designation
remote
System control number
(WaSeSS)bookssj0000746046
Label
Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings, Alastair Donaldson, David Parker (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000746046
Dimensions
unknown
Isbn
9783642317590
Isbn Type
(e-ISBN)
Lccn
2012941285
Specific material designation
remote
System control number
(WaSeSS)bookssj0000746046

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