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 |
| 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 |
| Physical Description: | 1 online resource (x, 337 p.) : ill |
| OCLC Number: | 681633898 |
| ISBN/ISSN: | 9783642170713 3642170714 0302-9743 |