Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
Berlin : Springer, c1999
Book
| No. | Printing year | Location | Call Number | Material ID | Circulation class | Status | Waiting |
|---|---|---|---|---|---|---|---|
|
1 |
|
|
0027790 |
Regular |
|
|
| No. | Printing year | Location | Call Number | Material ID | Circulation class | Status | Waiting |
|---|---|---|---|---|---|---|---|
|
1 |
|
|
0027791 |
Regular |
|
|
1999
2 v. : ill. ; 24 cm
Lecture notes in computer science ; 1708, 1709
Includes bibliographical references and index
"FM '99, the First World Congress on Formal Methods in the Development of Computing Systems" -- Pref
Germany
English (eng)
English (eng)
World Congress on Formal Methods in the Development of Computing Systems [ Congress on Formal Methods in the Development of Computing Systems, World ] [ FM ]
Wing, Jeannette Marie [ Wing, J. M. (Jeannette Marie) ] [ Wing, Jeannette M ]
LCC:QA76.9.F67
3540665870 (v. 1) ; 3540665889 (v. 2)
BA43361015
LCCN : 99049628
