Coverart for item
The Resource Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures, Frank S. de Boer ... [et al.] (eds.), (electronic resource)

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures, Frank S. de Boer ... [et al.] (eds.), (electronic resource)

Label
Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures
Title
Formal methods for components and objects
Title remainder
4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures
Statement of responsibility
Frank S. de Boer ... [et al.] (eds.)
Title variation
FMCO 2005
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
OHX
Dewey number
005.13/1
LC call number
QA76.9.F67
LC item number
F53 2005
http://bibfra.me/vocab/lite/meetingDate
2005
http://bibfra.me/vocab/lite/meetingName
FMCO 2005
http://library.link/vocab/relatedWorkOrContributorName
Boer, Frank S. de
Series statement
  • Lecture notes in computer science,
  • State-of-the-art survey
Series volume
4111.
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Component software
  • Object-oriented programming (Computer science)
Label
Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures, Frank S. de Boer ... [et al.] (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000317713
Dimensions
unknown
Isbn
9783540367499
Isbn Type
(pbk.)
Lccn
2006930291
Specific material designation
remote
System control number
(WaSeSS)bookssj0000317713
Label
Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures, Frank S. de Boer ... [et al.] (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000317713
Dimensions
unknown
Isbn
9783540367499
Isbn Type
(pbk.)
Lccn
2006930291
Specific material designation
remote
System control number
(WaSeSS)bookssj0000317713

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