Coverart for item
The Resource 2014 International SPIN Symposium on Model Checking of Software (SPIN) : poceedings : July 21-23, 2014, San Jose, CA, USA, organizing committee, Neha Rungta and Oksana Tkachuk, (electronic resource)

2014 International SPIN Symposium on Model Checking of Software (SPIN) : poceedings : July 21-23, 2014, San Jose, CA, USA, organizing committee, Neha Rungta and Oksana Tkachuk, (electronic resource)

Label
2014 International SPIN Symposium on Model Checking of Software (SPIN) : poceedings : July 21-23, 2014, San Jose, CA, USA
Title
2014 International SPIN Symposium on Model Checking of Software (SPIN)
Title remainder
poceedings : July 21-23, 2014, San Jose, CA, USA
Statement of responsibility
organizing committee, Neha Rungta and Oksana Tkachuk
Title variation
  • SPIN 2014
  • Proceedings of the 2014 International SPIN Symposium on Model Checking of Software
Contributor
Subject
Genre
Language
eng
Cataloging source
WaSeSS
LC call number
QA76.76.V47
http://library.link/vocab/relatedWorkOrContributorName
  • Rungta, Neha
  • Tkachuk, Oksana
http://library.link/vocab/subjectName
  • Computer software
  • Computer simulation
Label
2014 International SPIN Symposium on Model Checking of Software (SPIN) : poceedings : July 21-23, 2014, San Jose, CA, USA, organizing committee, Neha Rungta and Oksana Tkachuk, (electronic resource)
Instantiates
Publication
Control code
OCM1bookssj0001455686
Dimensions
unknown
Extent
1 online resource (136 pages)
Isbn
9781450324526
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)ssj0001455686
Label
2014 International SPIN Symposium on Model Checking of Software (SPIN) : poceedings : July 21-23, 2014, San Jose, CA, USA, organizing committee, Neha Rungta and Oksana Tkachuk, (electronic resource)
Publication
Control code
OCM1bookssj0001455686
Dimensions
unknown
Extent
1 online resource (136 pages)
Isbn
9781450324526
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)ssj0001455686

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