Integration of CiNii Books functions for fiscal year 2025 has completed

Hatcliff, John

ID:DA12521248

Alias Name: Hatcliff, J

Search authors sharing the same name

Search Results1-3 of 3

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.)

Springer c2010 Lecture notes in computer science 6117

Available at 1 libraries
2

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.)

Springer c2003 Lecture notes in computer science 2619

Available at 24 libraries
3

Partial evaluation : practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

John Hatcliff, Torben Æ. Mogensen, Peter Thiemann (eds.)

Springer c1999 Lecture notes in computer science 1706

Available at 36 libraries

Search this author

Related Authors