Hatcliff, John books & textbook
Technologies, Development Tools, and Patterns for Automatic Generation and Customization of Adaptable Distributed Real-Time and Embedded (DRE) Middleware
PN /2005T Paperback
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, ... (Lecture Notes in Computer Science, 6117)
Springer /2010-06-01 Paperback / 245 Pages
isbn-10: 3642134637 / isbn-13: 9783642134630
Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 (Lecture Notes in Computer Science, 1706)
Hatcliff, John Mogensen, Torben Thiemann, Peter
Springer /1999-11-17 Paperback / 452 Pages
isbn-10: 3540667105 / isbn-13: 9783540667100
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 2619)
Garavel, Hubert Hatcliff, John
Springer /2003-03-14 Paperback / 620 Pages
isbn-10: 3540008985 / isbn-13: 9783540008989
Foundations of the Bandera Abstraction Tools
Hatcliff, John Nasa Technical Reports Server (Ntrs) Et Al
BiblioGov /2013-07-10 Paperback / 36 Pages
isbn-10: 1289157766 / isbn-13: 9781289157760
