Results for Elie Najm

ISBN.nu

search for books and compare prices

Elie Najm has written 5 work(s)

Search for other authors with the same name

displaying 1 to 5 | at end

show results in order: alphabetically | oldest to newest | newest to oldest

Formal Description Techniques and Protocol Specification, Testing and Verification: ######################################################################################################################################################

Product Description: Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs...read more

By Elie Najm (editor)

See complete details on each edition (1 edition listed)

Paperback:

9781475752625 | Springer Verlag, March 5, 2013, cover price $284.00 | About this edition: Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols.

Formal Techniques for Networked and Distributed Systems - Forte 2006: 26th Ifip Wg 6.1 International Conference, Paris, France, September 26-29, 2006: Proceedings

Product Description: This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions...read more

By Veronique Viguie Donzeau-gouge (editor), Elie Najm (editor) and Jean-francois Pradat-peyre (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540462194 | Springer-Verlag New York Inc, November 14, 2006, cover price $149.00 | About this edition: This book constitutes the refereed proceedings of the 26th IFIP WG 6.

Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19-21 2003 : Proceedings

By INTERNATIONAL CONFERENCE ON FORMAL METHO (distributor), Elie Najm, Uwe Nestmann and Perdita Stevens (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540204916 | Springer Verlag, January 1, 2004, cover price $109.00

Formal Description Techniques and Protocol Specification: Forte Xi/Pstv XVIII '98 : Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication

By Stan Budkowski (editor), Ana Cavalli (editor) and Elie Najm (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780412847608 | Kluwer Academic Pub, October 1, 1998, cover price $284.00 | About this edition: Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols.

Formal Methods for Open Object-Based Distributed Systems

Product Description: Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods...read more (view table of contents, read Amazon.com's description)

By Elie Najm (editor) and Jean-Bernard Stefani (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780412797705 | Chapman & Hall, November 1, 1996, cover price $299.00 | About this edition: Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems.

displaying 1 to 5 | at end