FME 97 : Industrial Applications and Strengthened Foundations of Formal Methods : Lecture Notes in Computer Science
Language: English Publication details: Springer: Tokyo; 1997Description: 684 pISBN:- 0003540635335
- 005.12
- F37
Refrence Book
| Item type | Current library | Home library | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Refrence Book
|
UCSC Library Reference Section | UCSC Library Reference Section | Reference Collection | 005.12 F37 (Browse shelf(Opens below)) | Available | A13819 |
Total holds: 0
There are no comments on this title.