Coverart for item
The Resource Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 : revised selected papers, Frank S. de Boer ... [et al.] (eds.), (electronic resource)

Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 : revised selected papers, Frank S. de Boer ... [et al.] (eds.), (electronic resource)

Label
Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 : revised selected papers
Title
Formal methods for components and objects
Title remainder
8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 : revised selected papers
Statement of responsibility
Frank S. de Boer ... [et al.] (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Member of
Cataloging source
BTCTA
Dewey number
004.01/51
LC call number
QA76.9.F67
LC item number
F53 2009
http://bibfra.me/vocab/lite/meetingDate
2009
http://bibfra.me/vocab/lite/meetingName
FMCO 2009
http://library.link/vocab/relatedWorkOrContributorName
Boer, Frank S. de
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary: SL 2-programming and software engineering
  • State-of-the-art survey
Series volume
6286
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Component software
  • Object-oriented programming (Computer science)
Summary expansion
This state-of-the-art survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009
Label
Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 : revised selected papers, Frank S. de Boer ... [et al.] (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000446472
Dimensions
unknown
Isbn
9783642170706
Isbn Type
(pbk. : acid-free paper)
Lccn
2010938608
Specific material designation
remote
System control number
(WaSeSS)bookssj0000446472
Label
Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 : revised selected papers, Frank S. de Boer ... [et al.] (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000446472
Dimensions
unknown
Isbn
9783642170706
Isbn Type
(pbk. : acid-free paper)
Lccn
2010938608
Specific material designation
remote
System control number
(WaSeSS)bookssj0000446472

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 ...