Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever (e-book)
Language: English Series: Lecture Notes in Computer Science (LNCS) ; v.5930 | LNCS Sublibrary : SL 1 – Theoretical computer science and general issuesPublication details: Berlin Springer 2010ISBN: 978-3-642-11512-7Subject(s): Roever, Willem Paul de 1943- | Computer science and engineering | Parallel programming (Computer science) -- Congresses | Computer programs -- CorrectnessOnline resources: Click here to access online| Item type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
E-Books
|
Central Library, IITB Online | Link to resource | Online | EBK29 |
Total holds: 0
There are no comments on this title.