Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010 ; proceedings / John Hatcliff, Elena Zucca (eds.). by International Conference on Formal Methods for Open Object-Based Distributed Systems (12th : 2010 : Amsterdam, Netherlands) Hatcliff, John, 1966- Zucca, Elena FORTE 2010 (2010 : Amsterdam, Netherlands) Series: Lecture notes in computer science ; 6117. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer, 2010 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Distributed applications and interoperable systems : 10th IFIP WG 6.1 international conference, DAIS 2010, Amsterdam, the Netherlands, June 7-9, 2010 ; proceedings / Frank Eliassen, Rüdiger Kapitza (eds.). by DAIS (Conference) (10th : 2010 : Amsterdam, Netherlands) Eliassen, Frank Kapitza, Rüdiger Series: Lecture notes in computer science ; 6115. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer, 2010 Other title: DAIS 2010 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search