Ali E. Abdallah – författare

Visar alla böcker från författaren Ali E. Abdallah. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Formal Aspects of Security

   First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers

   Av Ali E. Abdallah, Peter Ryan m. fl.

   Häftad, 2003

   564 kr

   Lägg i varukorg

   Preface Formal Aspects of Security (FASec) was held at Royal Holloway, University of London, 18-20 December 2002. The occasion celebrated a Jubilee, namely the 25thanniversaryoftheestablishmentofBCS-FACS,theFormalAspectsofC- puting Science specialist group of the British Computer Society. FASec is …

2. 

   Communicating Sequential Processes. The First 25 Years

   Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

   Av Ali E. Abdallah, Cliff B. Jones m. fl.

   Häftad, 2005

   564 kr

   Lägg i varukorg

   This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare’s paper “Communicating Sequential Processes” is today widely regarded as one of the most in?uential papers in computer science. To comm- orate it, an event …

3. 

   Communicating Sequential Processes. The First 25 Years

   Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

   Av Jeff W. Sanders, Cliff B. Jones m. fl.

   E-bok, 2005

   755 kr

   Lägg i varukorg

   This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare’s paper “Communicating Sequential Processes” is today widely regarded as one of the most in?uential papers in computer science. To comm- orate it, an event …

4. 

   Formal Aspects of Security

   First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers

   Av Steve Schneider, Peter Ryan m. fl.

   E-bok, 2003

   734 kr

   Lägg i varukorg