Hubert Garavel – författare

Visar alla böcker från författaren Hubert Garavel. Handla med fri frakt och snabb leverans.

2 produkter

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

   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 …

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

   Av John Hatcliff, Hubert Garavel

   E-bok, 2003

   1502 kr

   Lägg i varukorg