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

1

Cover is for reference only

Fundamental approaches to software engineering：First International Conference, FASE '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings

Corporate Authors: FASE'98( 1998 Lisbon, Portugal) (Lisbon, Portugal)); European Conference on Theory and Practice of Software (1998 Lisbon, Portugal) (Lisbon, Portugal))
Group Author: Astesiano E.; (Egidio), 1939-
Published: Springer,
Publication Dates: c1998.
Call Number: TP311.5-532/F981/1998/

Book

2

Cover is for reference only

Algebraic foundations of systems specification

Group Author: Astesiano E.; (Egidio), 1939-; Kreowski H.-J.; (Hans-Jörg); Krieg-Brückner B.; (Bernd)
Published: Springer,
Publication Dates: c1999.
Call Number: TP311.5/A394/

Book

3

Cover is for reference only

Recent trends in data type specification：10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers

Corporate Authors: Workshop on Specification of Abstract Data Types (10th 1994 Santa Margherita); COMPASS Workshop 1994 Santa Margherita, Italy) (Santa Margherita, Italy))
Group Author: (Egidio), 1939-; Reggio Gianna, 1957-; Tarlecki Andrzej.; Astesiano E.
Published: Springer-Verlag,
Publication Dates: c1995.
Call Number: TP311.1-532/W926/1994/

Book

4

Cover is for reference only

Scientific engineering for distributed Java applications：International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002 : revised papers

Corporate Authors: FIDJI 2002 (2002 Luxembourg, Luxembourg)
Group Author: Guelfi Nicolas, 1965-; Astesiano E.; (Egidio), 1939-; Reggio Gianna, 1957-
Published: Springer,
Publication Dates: c2003.
Call Number: TP312JA-532/S416/2002

Book

Narrow Search