Search Results for Notches

Limit Search Results

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

2 Results Found

Subscribe to search results

1

00MAIN

Print

1.

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:

2.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1