Coverart for item
The Resource ISoLA 2006 : proceedings, second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : 15-19 November 2006, Paphos, Cyprus, (electronic resource)

ISoLA 2006 : proceedings, second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : 15-19 November 2006, Paphos, Cyprus, (electronic resource)

Label
ISoLA 2006 : proceedings, second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : 15-19 November 2006, Paphos, Cyprus
Title
ISoLA 2006
Title remainder
proceedings, second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : 15-19 November 2006, Paphos, Cyprus
Creator
Subject
Genre
Language
eng
Cataloging source
WaSeSS
LC call number
QA76.76.V47
http://bibfra.me/vocab/lite/meetingDate
2006
http://bibfra.me/vocab/lite/meetingName
ISoLA 2006
http://library.link/vocab/subjectName
  • Computer software
  • Formal methods (Computer science)
  • Computer software
Label
ISoLA 2006 : proceedings, second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : 15-19 November 2006, Paphos, Cyprus, (electronic resource)
Instantiates
Publication
Control code
OCM1bookssj0001969123
Dimensions
unknown
Extent
1 online resource (478 pages)
Isbn
9780769530710
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)ssj0001969123
Label
ISoLA 2006 : proceedings, second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : 15-19 November 2006, Paphos, Cyprus, (electronic resource)
Publication
Control code
OCM1bookssj0001969123
Dimensions
unknown
Extent
1 online resource (478 pages)
Isbn
9780769530710
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)ssj0001969123

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...