Coverart for item
The Resource Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, (electronic resource:)

Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, (electronic resource:)

Label
Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
Title
Formal Methods: Foundations and Applications
Title remainder
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
Contributor
Editor
Subject
Language
eng
Cataloging source
BIP US
LC call number
QA75.5-76.95
http://library.link/vocab/relatedWorkOrContributorName
  • Massoni, Tiago
  • Mousavi, Mohammad Reza
Series statement
Lecture Notes in Computer Science Ser.
Series volume
11254
Label
Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, (electronic resource:)
Instantiates
Publication
Control code
OCM1bookssib033951854
Dimensions
unknown
Isbn
9783030030438
Other control number
9783030030438
http://library.link/vocab/ext/overdrive/overdriveId
978-3-030-03043-8
Specific material designation
remote
System control number
(WaSeSS)bookssib033951854
Label
Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, (electronic resource:)
Publication
Control code
OCM1bookssib033951854
Dimensions
unknown
Isbn
9783030030438
Other control number
9783030030438
http://library.link/vocab/ext/overdrive/overdriveId
978-3-030-03043-8
Specific material designation
remote
System control number
(WaSeSS)bookssib033951854

Library Locations

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