Coverart for item
The Resource Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings, Jin Song Dong, Huibiao Zhu (eds.), (electronic resource)

Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings, Jin Song Dong, Huibiao Zhu (eds.), (electronic resource)

Label
Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings
Title
Formal methods and software engineering
Title remainder
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings
Statement of responsibility
Jin Song Dong, Huibiao Zhu (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Cataloging source
OHX
Dewey number
005.1
LC call number
QA76.9.F67
LC item number
I5788 2010
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
International Conference on Formal Engineering Methods
http://library.link/vocab/relatedWorkOrContributorDate
1967-
http://library.link/vocab/relatedWorkOrContributorName
  • Dong, Jin Song
  • Zhu, Huibiao
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary: SL 2-programming and software engineering
Series volume
6447
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Software engineering
  • Softwareentwicklung
  • Formale Methode
  • Entscheidungsverfahren
  • Programmverifikation
  • Programmanalyse
  • Programmtest
  • Model Checking
  • Serviceorientierte Architektur
  • Web Services
  • Leistungsbewertung
  • Schanghai <2010>
Summary expansion
This book constitutes the refereed proceedings of the 12th International Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010. The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification
Label
Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings, Jin Song Dong, Huibiao Zhu (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000446471
Dimensions
unknown
Isbn
9783642169007
Isbn Type
(pbk. : alk. paper)
Lccn
2010938033
Specific material designation
remote
System control number
(WaSeSS)bookssj0000446471
Label
Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings, Jin Song Dong, Huibiao Zhu (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000446471
Dimensions
unknown
Isbn
9783642169007
Isbn Type
(pbk. : alk. paper)
Lccn
2010938033
Specific material designation
remote
System control number
(WaSeSS)bookssj0000446471

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...