Formal methods for components and objects : Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures

Author(s)
Bibliographic Information

Formal methods for components and objects : Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures

Frank S. de Boer ... [et al.] (eds.)

(Lecture notes in computer science, 3188)

Springer, c2004

Search this Book/Journal
Note

Includes bibliographical references and index

Related Books: 1-1 of 1
Details
  • NCID
    BA69743287
  • ISBN
    • 3540229426
  • Country Code
    gw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Berlin
  • Pages/Volumes
    viii, 371 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top