Coverart for item
The Resource Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, (electronic resource:)

Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, (electronic resource:)

Label
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Title
Formal Methods and Software Engineering
Title remainder
20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Contributor
Editor
Subject
Language
eng
Cataloging source
BIP US
LC call number
QA75.5-76.95
http://library.link/vocab/relatedWorkOrContributorName
  • Sun, Jing
  • Sun, Meng
Series statement
Lecture Notes in Computer Science Ser.
Series volume
11232
Label
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, (electronic resource:)
Instantiates
Publication
Control code
OCM1bookssib033951851
Dimensions
unknown
Isbn
9783030024499
Other control number
9783030024499
http://library.link/vocab/ext/overdrive/overdriveId
978-3-030-02449-9
Specific material designation
remote
System control number
(WaSeSS)bookssib033951851
Label
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, (electronic resource:)
Publication
Control code
OCM1bookssib033951851
Dimensions
unknown
Isbn
9783030024499
Other control number
9783030024499
http://library.link/vocab/ext/overdrive/overdriveId
978-3-030-02449-9
Specific material designation
remote
System control number
(WaSeSS)bookssib033951851

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...