Elie Najm | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?

Formal Methods for Open Object-based Distributed Systems : Volume 1

Najm, Elie; Stefani, Jean-Bernard
Springer
1996
Kovakantinen kirja

182,70 €

Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris,

Najm, Elie; Nestmann, Uwe; Stevens, Perdita
Springer
2003
Pehmeäkantinen kirja

51,10 €

Formal Techniques for Networked and Distributed Systems - FORTE 2006 - 26th IFIP WG 6.1 International Conference, Paris, France,

Najm, Elie; Pradat-Peyre, Jean-Francois; Donzeau-Gouge, Véronique Viguié
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

100,90 €

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

Gaudin, Emmanuel; Najm, Élie; Reed, Rick
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,10 €

Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII’98 IFIP TC6

Budkowski, Stan; Cavalli, Ana; Najm, Elie
Springer
1998
Kovakantinen kirja

182,70 €

Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII’98 IFIP TC6

Budkowski, Stan; Cavalli, Ana; Najm, Elie
Springer
2013
Pehmeäkantinen kirja

182,70 €