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

Published Berlin ; New York : Springer, [2006] ©2006

Copies

Location	Call no.	Vol.	Availability
W'PONDS	005.3 Fmc/Ofm 2005		AVAILABLE

Description viii, 427 pages : illustrations ; 24 cm Series Lecture notes in computer science, 0302-9743 ; 4111 State-of-the-art Survey Lecture notes in computer science ; 4111 Lecture notes in computer science. State-of-the-art survey. Bibliography Includes bibliographical references and index Notes Also available via the World Wide Web 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. 2006930291 ISBN 3540367497 (paperback) 9783540367499

Other Titles FMCO 2005

  Permalink