FME 93 : industrial-strength formal methods : first international symposium of formal methods Europe : proceedings, Odense, Denmark, Apr. 19-23, 1993 / edited by J.C.P. Woodcock and P.G. Larsen
Language: English Series: Lecture notes in computer science ; v.670Publication details: Berlin ; Springer-Verlag ; 1993Edition: Description: xi,689 p; 23 cmISBN: 3-540-56662-70Subject(s): | Formal languages-Congresses| Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library, IITB Compact Storage - Basement Area | 681.3.06 Int:1:93 | Available | G55A38 | 168360 |
Total holds: 0
There are no comments on this title.