John Hatcliff – författare
Visar alla böcker från författaren John Hatcliff. Handla med fri frakt och snabb leverans.
6 produkter
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
Av Hubert Garavel, John Hatcliff
Häftad, 2003
1129 kr
Lägg i varukorg
ETAPS 2003 was the sixth instance of the European Joint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was establishedin1998bycombininganumberofexistingandnewconferences.This yearitcomprised?veconferences(FOSSACS,FASE,ESOP,CC,TACAS),14- tellite …
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
Av John Hatcliff, Hubert Garavel
E-bok, 2003
1502 kr
Lägg i varukorg
Partial Evaluation: Practice and Theory
DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
Av Peter Thiemann, Torben Mogensen m. fl.
E-bok, 2007
739 kr
Lägg i varukorg
As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for modern software construction since it provides automatic tools for software …
Partial Evaluation: Practice and Theory
DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
Av John Hatcliff, Torben Mogensen m. fl.
Häftad, 1999
568 kr
Lägg i varukorg
As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for modern software construction since it provides automatic tools for software …
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
Häftad, 2010
568 kr
Lägg i varukorg
In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) tookplacein Amsterdam,during June 7-9.It washosted and organized by the Centrum voor Wiskunde & Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects …
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
E-bok, 2010
739 kr
Lägg i varukorg
