Coverart for item
The Resource Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 ; revised lectures, Frank S. de Boer [and others] (eds.)

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 ; revised lectures, Frank S. de Boer [and others] (eds.)

Label
Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 ; revised lectures
Title
Formal methods for components and objects
Title remainder
second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 ; revised lectures
Statement of responsibility
Frank S. de Boer [and others] (eds.)
Title variation
FMCO 2003
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
OHX
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Boer, Frank S. de
Series statement
  • Lecture notes in computer science
  • Tutorial
Series volume
3188
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Component software
  • Object-oriented programming (Computer science)
Label
Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 ; revised lectures, Frank S. de Boer [and others] (eds.)
Instantiates
Publication
Note
Internat. conference proceedings
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
56933205
Dimensions
24 cm
Extent
viii, 371 pages
Isbn
9783540229421
Isbn Type
(pbk.)
Lccn
2004112623
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Label
Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 ; revised lectures, Frank S. de Boer [and others] (eds.)
Publication
Note
Internat. conference proceedings
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
56933205
Dimensions
24 cm
Extent
viii, 371 pages
Isbn
9783540229421
Isbn Type
(pbk.)
Lccn
2004112623
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...