Franklin

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

Publication:
Berlin ; New York : Springer, c2006.
Format/Description:
Conference/Event
Book
viii, 427 p. : ill.
Conference Name:
FMCO 2005 (2005 : Amsterdam, Netherlands)
Series:
Lecture notes in computer science; 4111.
Lecture notes in computer science

Options
Location Notes Your Loan Policy

Details

Other Title:
FMCO 2005
Subjects:
Formal methods (Computer science) -- Congresses.
Component software -- Congresses.
Object-oriented programming (Computer science) -- Congresses.
System Details:
Mode of access: World Wide Web.
Notes:
Includes bibliographical references and index.
Electronic reproduction. Berlin : Springer, 2008. Mode of access: World Wide Web.
Contributor:
Boer, Frank S. de.
ISBN:
3540367497 (pbk.)
9783540367499 (pbk.)
OCLC:
222316207
Access Restriction:
Restricted for use by site license.