Your search returned 3 results.

Results
		Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever (e-book) by Dams, Dennis [Editor] \| Hannemann, Ulrich [Editor] \| Steffen, Martin [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.5930 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Fundamentals of computation theory : 18th international symposium : proceedings, FCT, Oslo, Norway, Aug. 22-25, 2011 (e-book) by Owe, Olaf [Editor] \| Steffen, Martin [Editor] \| Telle, Jan Arne [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6914 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues \| Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Not for loan (1) . Add to cart (remove)
		Formal methods for open object-based distributed systems (e-book) by Steffen, Martin [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.3535Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2005Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search