Your search returned 2 results.

Results
		Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference : proceedings, FMOODS and 30th IFIP WG 6.1 international conference : proceedings, FORTE, Amsterdam, The Netherlands, June 7-9, 2010 (e-book) by Hatcliff, John [Editor] \| Zucca, Elena [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6117 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Partial evaluation (e-book) by Hatcliff, John [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.1706Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1999Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search