The Resource Model checking software. | Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings, Patrice Godefroid (ed.), (electronic resource)

Model checking software. | Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings, Patrice Godefroid (ed.), (electronic resource)

Label
Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings
Title
Model checking software
Title remainder
12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings
Statement of responsibility
Patrice Godefroid (ed.)
Title variation
  • 12th International SPIN Workshop
  • Twelfth International SPIN Workshop
  • International SPIN Workshop
Creator
Contributor
Subject
Genre
Language
eng
Summary
"This volume contains the proceedings of the 12th International SPIN Workshop on Model Checking of Software, held in San Francisco, USA, on August 22 -24, 2005."
Member of
Cataloging source
GW5XE
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Lecture notes in computer science,
Series volume
3639
Label
Model checking software. | Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings, Patrice Godefroid (ed.), (electronic resource)
Authority link
Link
http://dx.doi.org/10.1007/11537328
Publication
Creator
Note
Print version:
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn262680972
Dimensions
unknown
Extent
1 online resource (xi, 287 p.)
Form of item
online
Isbn
9783540281955
Other physical details
ill.
Specific material designation
remote
Stock number
978-3-540-28195-5
System control number
(OCoLC)262680972

Library Locations

    • ERDC - Hanover (US Army Engineer Research and Development Center) Borrow it
      72 Lyme Road, Hanover, NH, 03755-1290, US
      43.7279642 -72.2684934
Processing Feedback ...