Najm, Elie books & textbook
Formal Description Techniques and Protocol Specification, Testing and Verification (IFIP Advances in Information and Communication Technology)
Budkowski, Stan Cavalli, Ana Najm, Elie
Springer /2013-03-05 Paperback / 488 Pages
isbn-10: 1475752628 / isbn-13: 9781475752625
SDL 2007: Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings (Lecture Notes in Computer Science, 4745)
Gaudin, Emmanuel Najm, Élie Reed, Rick
Springer /2007-09-06 Paperback / 304 Pages
isbn-10: 3540749837 / isbn-13: 9783540749837
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, ... (Lecture Notes in Computer Science, 4229)
Najm, Elie Pradat-Peyre, Jean-Francois Donzeau-Gouge, Véronique Viguié
Springer /2006-09-27 Paperback / 500 Pages
isbn-10: 3540462198 / isbn-13: 9783540462194
Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology) (v. 1) 1st edition by Najm, Elie published by Springer Hardcover
Springer /1996-11-30 Hardcover
Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, ... (Lecture Notes in Computer Science, 2884)
Najm, Elie Nestmann, Uwe Stevens, Perdita
Springer /2003-11-10 Paperback / 348 Pages
isbn-10: 3540204911 / isbn-13: 9783540204916
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International ... and Communication Protocols (FORTE XI) and P
Budkowski, Stan Cavalli, Ana Najm, Elie
Springer /2013-03-11 Paperback / 484 Pages
isbn-10: 147575261X / isbn-13: 9781475752618
