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

1

Cover is for reference only

Programming and mathematical method

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

Book

2

Cover is for reference only

Model-based testing of reactive systems：advanced lectures

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

Book

3

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

4

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

5

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

6

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

7

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

8

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

9

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

10

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

11

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

12

Cover is for reference only

Perspectives of system informatics：Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings

Corporate Authors: International Andrei Ershov Memorial Conference (3rd 1999 Akademgorodok, Novosibirsk, Russia)
Group Author: Bjørner D.; (Dines), 1937-; Broy M., 1949-; Zamulin A. V.; (Aleksandr Vasilévich)
Published: Springer,
Publication Dates: c2000.
Call Number: TP3-1/P467/1999

Book

13

Cover is for reference only

Perspectives of system informatics：4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers

Corporate Authors: International Andrei Ershov Memorial Conference (4th 2001 Akademgorodok, Novosibirsk, Russia)
Group Author: Bjørner D.; (Dines), 1937-; Broy M., 1949-; Zamulin A. V.; (Aleksandr Vasilʹevich)
Published: Springer,
Publication Dates: c2001.
Call Number: TP3-1/P467/2001

Book

14

Cover is for reference only

Software system reliability and security

Group Author: Broy M., 1949-; Grünbauer Johannes.; Hoare C. A. R.; (Charles Antony Richard), 1934-
Published: IOS Press,
Publication Dates: c2007.
Call Number: TP309-532/S681/2006

Book

Narrow Search