Search Results for Bjorner, D. (Dines), 1937-

Skip to:Search Results

|

|

|

Limit Search Results

Switch to list view

Switch to thumbnail view

5 Results Found

Subscribe to search results

1

00000MAIN

Print

1.

Cover image for Logics of specification languages

Logics of specification languages

by

Bjorner, D. (Dines), 1937-

Author

Bjorner, D. (Dines), 1937-, Henson, Martin C.

Format:

Call Number

QA76.7 L63 2008

Publisher

Springer-Verlag,

Publication Date

2008

ISBN

9783540741060

Available:
Holds:
Copies:

2.

Cover image for Software engineering 2 : specification of systems and languages

Software engineering 2 : specification of systems and languages

by

Bjorner, D. (Dines), 1937-

Author

Bjorner, D. (Dines), 1937-, SpringerLink (Online service)

Format:

Call Number

EB 000107

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2006

ISBN

9783540331933

Accessible within UTM campus

Available:
Holds:
Copies:

3.

Cover image for Forman specification and software development

Forman specification and software development

by

Bjorner, D. (Dines), 1937-

Author

Bjorner, D. (Dines), 1937-, Jones, Cliff B.

Format:

Call Number

QA76.6 B56 1982

Publisher

Prentice-Hall International,

Publication Date

1982

ISBN

9780133290035

Available:
Holds:
Copies:

4.

Cover image for Abstract software specifications : 1979 Copenhagen Winter School, January 22- February 2, 1979 : proceedings

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

by

Bjorner, D. (Dines), 1937-

Author

Bjorner, D. (Dines), 1937-

Format:

Call Number

QA76.7 A37 1980

Publisher

Springer-Verleg,

Publication Date

1980

ISBN

9783540100072

Available:
Holds:
Copies:

5.

Cover image for The Vienna development method : the meta-language

The Vienna development method : the meta-language

by

Bjorner, D. (Dines), 1937-

Author

Bjorner, D. (Dines), 1937-, Jones, C. B.

Format:

Call Number

QA76.7 V53 1978

Publisher

Springer-Verlag,

Publication Date

1978

ISBN

9783540087663

Available:
Holds:
Copies:

1

Go to:Search Results

|

|