Elie Najm – författare

Visar alla böcker från författaren Elie Najm.

6 produkter

1. 

   Formal Methods for Open Object-based Distributed Systems

   Volume 1

   Av Elie Najm, Jean-Bernard Stefani

   Inbunden, 1996

   2929 kr

   Lägg i varukorg

2. 

   Formal Description Techniques and Protocol Specification, Testing and Verification

   FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France

   Av Stan Budkowski, Elie Najm m. fl.

   Inbunden, 1998

   2849 kr

   Lägg i varukorg

3. 

   Formal Description Techniques and Protocol Specification, Testing and Verification

   FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France

   Av Stan Budkowski, Ana Cavalli m. fl.

   Häftad, 2013

   2849 kr

   Lägg i varukorg

4. 

   Formal Methods for Open Object-Based Distributed Systems

   6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

   Av Elie Najm, Uwe Nestmann m. fl.

   Häftad, 2003

   739 kr

   Lägg i varukorg

5. 

   Formal Techniques for Networked and Distributed Systems - FORTE 2006

   26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

   Av Elie Najm, Jean-Francois Pradat-Peyre m. fl.

   Häftad, 2006

   1469 kr

   Lägg i varukorg

6. 

   SDL 2007: Design for Dependable Systems

   13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings

   Av Emmanuel Gaudin, Élie Najm m. fl.

   Häftad, 2007

   739 kr

   Lägg i varukorg