Normal view MARC view ISBD view

Formal methods for components and objects : 8th international symposium, FMCO, Eindhoven, The Netherlands, Nov. 4-6, 2009 (e-book) - Berlin Springer 2010 - Lecture Notes in Computer Science (LNCS) v.6286 LNCS Sublibrary : SL 2 – Programming and Software Engineering .

ISBN: 978-3-642-17071-3

Subjects--Topical Terms:
Computer Science and Engineering
Formal methods (Computer science)--Congresses
Object-oriented programming(Computer science)--Congresses
Logic design--Congresses
Operating systems (Computers)--Congresses