Coverart for item
The Resource Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers, Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.), (electronic resource)

Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers, Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.), (electronic resource)

Label
Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers
Title
Formal methods
Title remainder
foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers
Statement of responsibility
Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.)
Title variation
SBMF 2009
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Member of
Cataloging source
OHX
Dewey number
004
LC call number
QA76.9.F67
LC item number
B73 2009
http://bibfra.me/vocab/lite/meetingDate
2009
http://bibfra.me/vocab/lite/meetingName
Brazilian Symposium on Formal Methods
http://library.link/vocab/relatedWorkOrContributorName
  • Oliveira, Marcel Vinícius Medeiros
  • Woodcock, Jim
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary: SL 2 - Programming and software engineering
Series volume
5902
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Fehlertoleranz
  • Model Checking
  • Sicherheitskritisches System
  • Software
  • Verifikation
  • Fehlertoleranz
  • Formale Methode
  • Interrupt (Informatik)
  • Model Checking
  • Programmverifikation
  • Sicherheitskritisches System
  • Software
  • Testen
  • Verifikation
Summary expansion
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field
Label
Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers, Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and author index
Control code
OCM1bookssj0000355504
Dimensions
unknown
Isbn
9783642104510
Isbn Type
(pbk.)
Lccn
2009938928
Publisher number
12793839
Specific material designation
remote
System control number
(WaSeSS)bookssj0000355504
Label
Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers, Marcel Vinicius Medeiros Oliveira, Jim Woodcock (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and author index
Control code
OCM1bookssj0000355504
Dimensions
unknown
Isbn
9783642104510
Isbn Type
(pbk.)
Lccn
2009938928
Publisher number
12793839
Specific material designation
remote
System control number
(WaSeSS)bookssj0000355504

Library Locations

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