http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Formal methods for components and objects
5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures
FMCO (Symposium) 2006 : Amsterdam, Netherlands)
viii, 296 pages : illustrations ; 24 cm.
Testing -- Program verification -- Trust and security -- Models of computation -- Distributed programming.
Electronic reproduction. New York : Springer, 2008. Mode of access: World Wide Web. System requirements: Web browser. Title from title screen (viewed on June 16, 2008). Access may be restricted to users at subscribing institutions.
Includes bibliographical references and index.
Object-oriented programming (Computer science)