Your search returned 3 results.

Not what you expected? Check for suggestions

Results
	1.	Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.). by TACAS (Conference) (9th : 2003 : Warsaw, Poland) Garavel, Hubert, 1963- Hatcliff, John, 1966- ETAPS (Conference) (6th : 2003 : Warsaw, Poland) Series: Lecture notes in computer science ; 2619. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2003 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Partial evaluation : practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29-July 10, 1998 / John Hatcliff, Torben Æ. Mogensen, Peter Thiemann (eds.). by DIKU International Summer School on Partial Evaluation (1998 : Copenhagen, Denmark) Hatcliff, John, 1966- Mogensen, Torben Æ, 1960- Thiemann, P. (Peter), 1964- Series: Lecture notes in computer science ; 1706. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	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

Powered by Koha