Coverart for item
The Resource Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings, Karin Breitman, Ana Cavalcanti (eds.), (electronic resource)

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings, Karin Breitman, Ana Cavalcanti (eds.), (electronic resource)

Label
Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings
Title
Formal methods and software engineering
Title remainder
11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings
Statement of responsibility
Karin Breitman, Ana Cavalcanti (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
OHX
Dewey number
004n/a
LC call number
QA76.9.F67
LC item number
I5788 2009
http://bibfra.me/vocab/lite/meetingDate
2009
http://bibfra.me/vocab/lite/meetingName
International Conference on Formal Engineering Methods
http://library.link/vocab/relatedWorkOrContributorName
  • Breitman, K. K.
  • Cavalcanti, Ana
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary: SL 2-programming and software engineering
Series volume
5885
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Software engineering
  • Programmanalyse
  • Programmtest
  • Softwareentwicklung
  • Softwareentwicklung
  • Systementwicklung
  • Fehlertoleranz
  • Formale Methode
  • Model Checking
  • Programmanalyse
  • Programmtest
  • Softwareentwicklung
  • Systementwicklung
  • Verifikation
  • Zuverlässigkeit
Label
Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings, Karin Breitman, Ana Cavalcanti (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000355502
Dimensions
unknown
Isbn
9783642103728
Isbn Type
(pbk.)
Lccn
2009938641
Publisher number
12796106
Specific material designation
remote
System control number
(WaSeSS)bookssj0000355502
Label
Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings, Karin Breitman, Ana Cavalcanti (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000355502
Dimensions
unknown
Isbn
9783642103728
Isbn Type
(pbk.)
Lccn
2009938641
Publisher number
12796106
Specific material designation
remote
System control number
(WaSeSS)bookssj0000355502

Library Locations

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