馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Formal methods for open object-based distributed systems：6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

Corporate Authors: International Conference on Formal Methods for Open Object-Based Distributed Systems (6th 2003 Paris, France)
Group Author: Najm Elie.; Nestmann Uwe.; Stevens Perdita.
Published: Springer-Verlag,
Publication Dates: 2003.
Call Number: TP338.8-532/I615/2003

Book

2

Cover is for reference only

SDL 2007：design for dependable systems : 13th International SDL Forum, Paris, France, September 18-21, 2007 : proceedings

Corporate Authors: SDL Forum (13th 2007 Paris, France); LINK (Online service); SpringerLink (Online service)
Group Author: Najm Elie.; Reed Rick.; Gaudin Emmanuel.
Published: Springer,
Publication Dates: c2007.

Book

3

Cover is for reference only

Formal techniques for networked and distributed systems：FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings

Corporate Authors: FORTE 2006 (2006 Paris, France); IFIP Working Group 6.1.; SpringerLink (Online service)
Group Author: Pradat-Peyre Jean-François.; Donzeau-Gouge Véronique.; Najm Elie.
Published: Springer,
Publication Dates: c2006.

Book

4

Cover is for reference only

Formal techniques for networked and distributed systems：FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings

Corporate Authors: FORTE 2006 (2006 Paris, France); IFIP Working Group 6.1.
Group Author: Najm Elie.; Pradat-Peyre Jean-François.; Donzeau-Gouge Véronique.
Published: Springer,
Publication Dates: c2006.
Call Number: TP338.8-532/I613/2006

Book

Narrow Search