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

1

Cover is for reference only

Formal specification and software development /

Main Authors: Bjørner, D. (Dines), 1937- (Author)
Group Author: Jones, C. B. (Cliff B.), 1944-
Published: Prentice/Hall International,
Publication Dates: [1982]
Call Number: TP31/B626-1

Book

2

Cover is for reference only

Formal description of programming concepts--II：proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982

Corporate Authors: IFIP Working Conference on Formal Description of Programming Concepts (1982 Garmisch-Partenkirchen, Germany); IFIP Technical Committee 2--Programming.
Group Author: Bjørner D.; (Dines), 1937-
Published: North-Holland Pub. Co. Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1983.
Call Number: TP312-53/I61.14/1982/

Book

3

Cover is for reference only

Logics of specification languages

Corporate Authors: SpringerLink (Online service)
Group Author: Henson Martin C.; Bjørner D.; (Dines), 1937-
Published: Springer,
Publication Dates: c2008.

Book

4

Cover is for reference only

Formal methods in programming and their applications：international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 : proceedings

Group Author: Bjorner D.; (Dines), 1937-; Broy Manfred, 1949-; Pottosin Igor V.
Published: Springer-Verlag,
Publication Dates: c1993.
Call Number: TP311.11-532/F723/1993/

Book

5

Cover is for reference only

Software engineering .. Vol. 3,, Domains, requirements, and software design

Main Authors: Bj2rner D (Dines), 1937-
Published: Springer-Verlag
Publication Dates: 2006.
Call Number: TP31/B626/v.3

Book

6

Cover is for reference only

Software engineering .. 1,, Abstraction and modelling

Main Authors: Bj2rner D (Dines), 1937-
Published: Springer-Verlag
Publication Dates: c2006
Call Number: TP31/B626/[V.1]

Book

7

Cover is for reference only

Software engineering .. 2, Specification of systems and languages

Main Authors: Bj2rner D (Dines), 1937-
Published: Springer-Verlag
Publication Dates: 2006
Call Number: TP31/B626

Book

8

Cover is for reference only

Perspectives of system informatics：Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings

Corporate Authors: International Andrei Ershov Memorial Conference 1996 Akademgorodok, Novosibirsk) (Akademgorodok, Novosibirsk))
Group Author: Bjørner D.; (Dines), 1937-; Broy Manfred, 1949-; Pottosin Igor V.
Published: Springer,
Publication Dates: c1996.
Call Number: TP3-1/P467/1996/

Book

9

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

10

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

11

Cover is for reference only

Software engineering.. 3,, domains, requirements, and software design

Main Authors: Bjørner D. (Dines), 1937-
Corporate Authors: SpringerLink (Online service)
Published: Springer,
Publication Dates: c2006.

Book

12

Cover is for reference only

Software engineering.. 1,, abstraction and modelling

Main Authors: Bjørner D. (Dines), 1937-
Corporate Authors: SpringerLink (Online service)
Published: Springer-Verlag,
Publication Dates: c2006.

Book

13

Cover is for reference only

Software engineering.. 2, specification of systems and languages

Main Authors: Bjørner D. (Dines), 1937-
Corporate Authors: SpringerLink (Online service)
Published: Springer-Verlag,
Publication Dates: c2006.

Book

14

Cover is for reference only

Abstract software specifications：1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings

Corporate Authors: Copenhagen Winter School on Abstract Software Specifications (1979); Commission of the European Communities
Group Author: Bjørner D.; (Dines), 1937-
Published: New York : Springer-Verlag,
Publication Dates: 1980.
Call Number: TP31-53/A164/

Book

15

Cover is for reference only

Partial evaluation and mixed computation：proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987

Corporate Authors: IFIP TC2 Workshop on Partial Evaluation and Mixed Computation (1987 Agernæs, Denmark)
Group Author: (Dines), 1937-; Ershov A. P.; (Andreĭ Petrovich); Jones Neil D.; Bjørner D.
Published: North-Holland Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1988.
Call Number: TP31-53/I61.19/1987/

Book

16

Cover is for reference only

The Vienna development method：the Meta-language

Group Author: (Dines), 1937-; Jones C. B.; (Cliff B.), 1944-; Bjørner D.
Published: Springer-Verlag,
Publication Dates: 1978.
Call Number: TP312/B626/

Book

17

Cover is for reference only

Formal methods and hybrid real-time systems：essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays

Corporate Authors: SpringerLink (Online service)
Group Author: Zhou Chaochen, 1937-; Jones C. B.; (Cliff B.), 1944-; Liu Zhiming, 1961-; Woodcock Jim.; Bjørner D.; (Dines), 1937-
Published: Springer,
Publication Dates: c2007.

Book

Narrow Search