Record:   Prev Next
Author FMCO 2004 (3rd : 2004 : Leiden, Netherlands)
Title Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures / Frank S. de Boer ... [et al.] (eds.)
Imprint Berlin ; New York : Springer, 2005
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D2 F7235:3 2004  LNCS 3657    LIB USE ONLY    30330000178637
Record:   Prev Next