Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-5 of 5 results for author "Najm, Elie."
Formal methods for open object-based distributed systems / edited by Elie Najm and Jean-Bernard Stefani.
- Text
- London ; New York : Chapman & Hall, on behalf of IFIP, 1997.
- 1997
- 2 Items
Item details Format Call Number Item Location Text JSL 99-90 v. 1 Offsite Not available - Please for assistance.Item details Format Call Number Item Location Text JSL 99-90 v. 2 Offsite Not available - Please for assistance.Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.).
- Text
- Berlin ; New York : Springer, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text JSE 04-843 Offsite Not available - Please for assistance.Formal methods for open object-based distributed systems / edited by Elie Najm and Jean-Bernard Stefani.
- Text
- London ; New York : Chapman & Hall, on behalf of IFIP, 1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D5 F665 1997g Off-site Not available - Please for assistance.Formal methods for open object-based distributed systems : 6th IFIP WG 6.0 international conference, FMOODS 2003, Paris, France, November 2003 : proceedings / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.).
- Text
- Berlin ; New York : Springer-Verlag, 2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D5 I573 2003 Off-site Not available - Please for assistance.SDL 2007: design for dependable systems : 13th international SDL forum, Paris, France, September 18-21, 2007 : proceedings / Emmanuel Gaudin, Elie Najm, Rick Reed (eds.).
- Text
- Berlin ; New York : Springer, [2007], ©2007.
- 2007-2007
- 1 Item
Item details Format Call Number Item Location Text QA76.73.S35 S35 2007g Off-site Not available - Please for assistance.
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
