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

1

Cover is for reference only

Concepts for distributed systems design

Main Authors: Bochmann Gregor von 1941-
Published: Springer-Verlag,
Publication Dates: 1983.
Call Number: TP302/B664/

Book

2

Cover is for reference only

Architecture of distributed computer systems

Main Authors: Bochmann Gregor von 1941-
Published: Springer-Verlag,
Publication Dates: 1979.
Call Number: TP303/B664/

Book

3

Cover is for reference only

Testing of communicating systems：tools and techniques : IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29-September 1, 2000, Ottawa, Canada

Corporate Authors: IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (13th 2000 Ottawa, Ont
Group Author: Probert Robert L; Bochmann Gregor von 1941-; Ural Hasan
Published: Kluwer Academic,
Publication Dates: c2000.
Call Number: TN915.06-532/I615/2000

Book

4

Cover is for reference only

Protocol specification, testing, and verification, VI：proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification

Corporate Authors: IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (6th 1986 Montréal, Québec); Concordia University.; Université de Montréal.
Group Author: Sarikaya Behcet.; Bochmann Gregor von, 1941-
Published: North-Holland Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1987.
Call Number: TP30-53/I61.5/1986/

Book

5

Cover is for reference only

Computer networks, architecture and applications：proceedings of the IFIP TC6 Working Conference on ... Networks '92, Trivandrum, India, 28-29 Oct., 1992

Corporate Authors: IFIP TC6 Working Conference on Computer Networks, Architecture, and Applications (1992 Trivandrum
Group Author: Raghavan S. V; Bochmann Gregor von 1941-; Pujolle G 1949-
Published: North-Holland,
Publication Dates: 1993.
Call Number: TP393-532/I61.2/1992/

Book

6

Cover is for reference only

SDL '99, the next millennium：proceedings of the ninth SDL Forum, Montréal, Québec, Canada, 21-25, 1999

Corporate Authors: SDL Forum (9th 1999 Montréal, Québec)
Group Author: Dssouli R.; (Rachida); Bochmann Gregor von, 1941-; LaHav Yair.
Published: Elsevier,
Publication Dates: 1999.
Call Number: TP312SD-532/S741/1999

Book

7

Cover is for reference only

Formal description techniques, VIII：proceedings of the IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995

Corporate Authors: IFIP TC6 International Conference on Formal Description Techniques (8th 1995 Montréal, Québec); International Federation for Information Processing.; International Federation for Information Processing. Technical Committee 6.; IFIP Working Group 6.1.
Group Author: Bochmann Gregor von, 1941-; Dssouli R.; (Rachida); Rafiq Omar, 1947-
Published: Chapman & Hall on behalf of the International Federation for Information Processing (IFIP),
Publication Dates: c1996.
Call Number: TP330.12-532/I61/1995/

Book

8

Cover is for reference only

Computer aided verification：fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings

Corporate Authors: CAV '92 1992 Montreal, Quebec) (Montreal, Quebec))
Group Author: Probst D. K.; (David Karl), 1945-; Bochmann Gregor von, 1941-
Published: Springer-Verlag,
Publication Dates: c1993.
Call Number: TP301-532/C738/1992/

Book

Narrow Search