Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 : revised selected papers / Frank S. de Boer ... [et al.] (eds.)

Author(s): FMCO 2009 (2009 : Eindhoven, Netherlands)
Online: Connect to OhioLINK EBC
Location:
Retrieving Holdings Information
Subjects: Electronic books
Formal methods (Computer science)--Congresses
Component software--Congresses
Object-oriented programming (Computer science)--Congresses
Formats: Electronic Resource, Remote
Material Type: Books
Language: English
Audience: Unspecified
Published: Berlin : Springer, 2010
Series: Lecture notes in computer science 6286
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science 6286
LNCS sublibrary. SL 2 Programming and software engineering
LC Classification: Q, QA
Physical Description: 1 online resource (x, 337 p.) : ill
Alternate Titles: Portion of title: FMCO 2009
In: SpringerLINK (OCoLC)43927870
In: OhioLINK electronic book center (Online) (OCoLC)180989150
Print version: FMCO 2009 (2009 : Eindhoven, Netherlands). Formal methods for components and objects. (DLC) 2010938608 Berlin : Springer, 2010 9783642170706
Additional Authors: Boer, Frank S. de
SpringerLink (Online service)
Notes: ISBN: 9783642170713
ISBN: 3642170714
Title from PDF t.p. (SpringerLink, viewed Nov. 16, 2010)
Includes bibliographical references and index
OCLC Number: 681633898
ISBN/ISSN: 9783642170713
3642170714
0302-9743