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

By: International symposium of formal methods Europe (1st : 1993Contributor(s): 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
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books 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.

to post a comment.
Share

Powered by Koha