7 results
Type of media (2)
Availability (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
7 results

Your search for Elie Najm

  1. Cover: Formal Methods for Open Object-Based Distributed Systems - Springer
    Elie Najm | Uwe Nestmann | Perdita Stevens
    Formal Methods for Open Object-Based Distributed Systems
    6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
    11/2003
    Springer
    9783540399582 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Formal Techniques for Networked and Distributed Systems - FORTE 2006 - Springer
    Elie Najm | Jean-Francois Pradat-Peyre | Véronique Viguié Donzeau-Gouge
    Formal Techniques for Networked and Distributed Systems - FORTE 2006
    26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
    09/2006
    Springer
    9783540462194 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  3. Cover: Formal Description Techniques and Protocol Specification, Testing and Verification - Springer
    Stan Budkowski | Ana Cavalli | Elie Najm
    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
    03/2013
    Springer
    9781475752625 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €213.99
    Shipment within 15-20 days
  4. Cover: Formal Methods for Open Object-Based Distributed Systems - Springer
    Elie Najm | Uwe Nestmann | Perdita Stevens
    Formal Methods for Open Object-Based Distributed Systems
    6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
    11/2003
    Springer
    9783540204916 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  5. Cover: Formal Methods for Open Object-based Distributed Systems - Chapman and Hall
    Elie Najm | Jean-Bernard Stefani
    Formal Methods for Open Object-based Distributed Systems
    Volume 1
    11/1996
    Chapman and Hall
    9780412797705 (ISBN)
    Book
    Hardback
    Other editions
    €212.50
    Shipment within 10-20 days
  6. Cover: Formal Description Techniques and Protocol Specification, Testing and Verification - Chapman and Hall
    Stan Budkowski | Ana Cavalli | Elie Najm
    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
    10/1998
    Chapman and Hall
    9780412847608 (ISBN)
    Book
    Hardback
    Other editions
    €213.99
    Shipment within 10-20 days
  7. This image is currently not available.
    Elie Najm | Jean-Bernard Stefani
    Formal Methods for Open Object-based Distributed Systems
    Volume 1
    12/1997
    Springer
    9781504128759 (ISBN)
    Book
    Paperback/Softback
    Other editions
    Unfortunately, price unknown
    The article will not be published