大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Najm 的图书(共3本)

SDL 2007: Design for Dependable Systems [electronic resource] : 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

0
索取号：
作者：Gaudin、 Emmanuel.、Najm、 Elie.、Reed、 Rick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Techniques for Networked and Distributed Systems - FORTE 2006 [electronic resource] : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

0
索取号：
作者：Najm、 Elie.、Pradat-Peyre、 Jean-Fran莽ois.、Donzeau-Gouge、 V茅ronique Vigui茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal description techniquesand 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, andVerification (PSTV XVIII) : 3-6 November 1998, Paris, France

0
索取号：TP311-532/E996/1998
作者：IFIP TC6 EG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification、Testing、 and Verification (1998 : Paris、 France)、Cavalli、 Ana.、Budkowski、 Stan.、Najm、 Elie.、IFIP TC/WG 6.1 International Conference on Formal Descrioption Techniques for Distributed Systems and Communication Protocols (11th : 1998 : Paris、 France)、IFIP WG 6.1 International Symposium on Protocol Specification、 Testing、and Verification (18th : 1998 : Pari、
出版社：Boston : Kluwer Academic Publishers, 1998.