Limit search to available items
Book Cover
Book
Author FMCO (Symposium) (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 / [edited by] Frank S. de Boer ... [and others]
Edition First edition
Published New York, NY ; [Great Britain] : Springer, 2005

Copies

Location Call no. Vol. Availability
 W'PONDS  005.3 Fmc/Ofm 2004  AVAILABLE
Description viii, 323 pages : illustrations ; 24 cm
Series Lecture notes in computer science, 0302-9743 ; 3657
Lecture notes in computer science. Tutorial, 0302-9743 ; 3657
Lecture notes in computer science ; 3657
Lecture notes in computer science. Tutorial.
Lecture notes in computer science. 0302-9743 ; 3657
Analysis FMCO
Bibliography Includes bibliographical references and index
Notes Also issued online
Subject Component software -- Congresses.
Formal methods (Computer science) -- Congresses.
Object-oriented programming (Computer science) -- Congresses.
Genre/Form Conference papers and proceedings.
Author Boer, Frank S. de.
LC no. 2005932547
ISBN 3540291318 (softcover : alk. paper)
9783540291312 (softcover : alk. paper)
Other Titles FMCO 2004