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

1

Cover is for reference only

Engineering theories of software intensive systems

Corporate Authors: NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems (2004 Marktoberdorf, Germany
Group Author: Broy M 1949-
Published: Springer,
Publication Dates: 2005.
Call Number: TP311.5-532/E579-1/2004

Book

2

Cover is for reference only

Constructive methods in computing science：international summer school directed by F.L. Bauer ... [et al.]

Corporate Authors: NATO Advanced Study Institute on Constructive Methods in Computing Science (1988 Marktoberdorf, Germany
Group Author: Broy M 1949-
Published: Springer-Verlag,
Publication Dates: c1989.
Call Number: TP301-53/C758/1988/

Book

3

Cover is for reference only

Control flow and data flow：concepts of distributed programming : international summer school, directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare ; edited by Manfred Broy.

Corporate Authors: NATO Advanced Study Institute on Control Flow and Data Flow: Concepts of Distributed Programming (1984 Marktoberdorf, Germany
Group Author: Broy M 1949-
Published: Springer-Verlag,
Publication Dates: c1985.
Call Number: TP33-53/C764/1984/

Book

4

Cover is for reference only

Model-based testing of reactive systems：advanced lectures

Group Author: Broy M., 1949-
Published: Springer,
Publication Dates: c2005.

Book

5

Cover is for reference only

Engineering theories of software intensive systems

Corporate Authors: NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems (2004 Marktoberdorf, Germany)
Group Author: Broy M., 1949-
Published: Springer,
Publication Dates: 2005.

Book

6

Cover is for reference only

Programming and mathematical method

Group Author: Broy M., 1949-
Published: Springer-Verlag,
Publication Dates: c1992.

Book

7

Cover is for reference only

Software pioneers：contributions to software engineering

Corporate Authors: Sd & m AG
Group Author: Broy M 1949-; Denert Ernst
Published: Springer,
Publication Dates: 2002.
Call Number: K816.16/S681

Book

8

Cover is for reference only

Mathematical methods in program development

Corporate Authors: NATO Advances Study Institute on Mathematical Methods in Program Development (1996 Marktoberdorf, Germany)
Group Author: Broy M 1949-; Schieder Birgit
Published: Springer,
Publication Dates: c1997.
Call Number: TP311.11-532/M426/1996/

Book

9

Cover is for reference only

Specification and development of interactive systems：FOCUS on streams, interfaces, and refinement

Main Authors: Broy M 1949-
Group Author: Stølen Ketil
Published: Springer,
Publication Dates: c2001.
Call Number: TP311/B885

Book

10

Cover is for reference only

Calculational system design

Corporate Authors: NATO Advanced Study Institute on Calculational System Design 1998. Marktoberdorf, Germany.
Group Author: Broy M 1949-; Steinbrüggen Ralf
Published: IOS Press,
Publication Dates: 1999.
Call Number: TP302.1-532/C144/1998/

Book

11

Cover is for reference only

Theoretical foundations of programming methodology：lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare

Corporate Authors: Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology (1981); Technische Universit鑑t M鑥nchen; NATO Science Committee
Group Author: Broy M 1949-; Schmidt Gunther 1939-
Published: D. Reidel Sold and distributed in the U.S.A. and Canada by Kluwer Boston,
Publication Dates: c1982.
Call Number: TP31-53/T399/1981/

Book

12

Cover is for reference only

Automotive software：connected services in mobile networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004 : revised selected papers

Corporate Authors: Automotive Software Workshop (1st 2004 San Diego, Calif
Group Author: Broy M 1949-; Krüger Ingolf H; Meisinger Michael
Published: Springer,
Publication Dates: c2006.
Call Number: U463.6-532/A939/2004

Book

13

Cover is for reference only

Formal systems specification：the RPC-memory specification case study

Group Author: Broy M., 1949-; Merz Stephan.; Spies Katharina.
Published: Springer,
Publication Dates: c1996.
Call Number: TP393/F723/

Book

14

Cover is for reference only

Methods of programming：selected papers on the CIP-project

Group Author: Broy M. (Manfred), 1949-; Wirsing M.; (Martin)
Published: Springer-Verlag,
Publication Dates: c1991.
Call Number: TP311.1/M592/

Book

15

Cover is for reference only

Model-driven development of reliable automotive services：Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006 : revised selected papers

Corporate Authors: Automotive Software Workshop (2nd 2006 San Diego, Calif.); SpringerLink (Online service)
Group Author: Krüger Ingolf H.; Meisinger Michael.; Broy M., 1949-
Published: Springer,
Publication Dates: c2008.

Book

16

Cover is for reference only

Automotive software - connected services in mobile networks：first Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004 ; revised selected papers

Corporate Authors: Automotive Software Workshop (1st 2004 San Diego, Calif.); SpringerLink (Online service)
Group Author: Broy M., 1949-; Krüger Ingolf H.; Meisinger Michael.
Published: Springer-Verlag,
Publication Dates: c2006.

Book

17

Cover is for reference only

Perspectives of system informatics：5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 ; revised papers

Corporate Authors: International Andrei Ershov Memorial Conference (5th 2003 Akademgorodok, Novosibirsk, Russia)
Group Author: Broy M., 1949-; Zamulin A. V.; (Aleksandr Vasilʹevich)
Published: Springer,
Publication Dates: 2003.
Call Number: TP3-1/P467/2003

Book

18

Cover is for reference only

Programming concepts and methods：proceedings of the ..., Sea of Galilee, Israel, 2-5 April, 1990

Corporate Authors: IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods (1990 Sea of Galilee)
Group Author: Broy M., 1949-; Jones C.B.; (Cliff B.), 1944-
Published: North-Holland,
Publication Dates: 1990.
Call Number: TP311.1-53/I61/1990/

Book

19

Cover is for reference only

Engineering theories of software construction

Corporate Authors: NATO Advanced Study Institute on Engineering Theories of Software Construction (2000 Marktoberdorft, Germany) (Marktoberdorft, Germany))
Group Author: (Charles Antony Richard), 1934-; Broy M., 1949-; Steinbruggen Ralf.; Hoare C. A. R.
Published: IOS Press,
Publication Dates: 2001.
Call Number: TP31-532/E579/2000

Book

20

Cover is for reference only

Software and systems safety：specification and verification

Corporate Authors: NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification (2010: Marktoberndorf, Germany) (Marktoberndorf, Germany))
Group Author: Leuxner Christian.; Hoare C. A. R.; (Charles Antony Richard), 1934-; Broy M., 1949-
Published: IOS Press,
Publication Dates: c2011.
Call Number: TP311.5-532/S681/2010

Book

Narrow Search