Yazar
Elie Najm
5 cilt bulundu.
Cilt sonuçları
Formal techniques for networked and distributed systems
Elie Najm · Springer
486 sayfa · 2006
Computer network protocols / Electronic data processing / Formal methods (Computer science) / Congresses / Distributed processing
Formal Techniques for Networked and Distributed Systems - Forte 2006
Elie Najm, Jean-Francois Pradat-Peyre, V. Ronique Vigui Donzeau-Gouge · Springer
Sayfa sayısı yok · 2008
Kategori yok
Formal Methods for Open Object-Based Distributed Systems
Elie Najm, Uwe Nestmann, Perdita Stevens · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok
SDL 2007 : Design for Dependable Systems
Emmanuel Gaudin, Élie Najm, Rick Reed · Springer London, Limited
Sayfa sayısı yok · 2007
Sdl (computer program language)
Formal Techniques for Networked and Distributed Systems - FORTE 2006
Elie Najm, Jean-Francois Pradat-Peyre, Véronique Viguié Donzeau-Gouge · Springer London, Limited
Sayfa sayısı yok · 2006
Electronic data processing, distributed processing / Computer network protocols