Formal methods for components and objects : 8th international symposium, FMCO, Eindhoven, The Netherlands, Nov. 4-6, 2009 (e-book)
Language: English Series: Lecture Notes in Computer Science (LNCS) ; v.6286 | LNCS Sublibrary : SL 2 – Programming and Software EngineeringPublication details: Berlin Springer 2010ISBN: 978-3-642-17071-3Subject(s): Computer Science and Engineering | Formal methods (Computer science) -- Congresses | Object-oriented programming(Computer science) -- Congresses | Logic design -- Congresses | Operating systems (Computers) -- CongressesOnline resources: Click here to access onlineItem type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
Central Library, IITB Online | Link to resource | Online | EBK368 |
Total holds: 0
There are no comments on this title.