Formal methods : applications and technology : 11th international workshop, FMICS and 5th international workshop, PDMC, Bonn, Germany, Aug. 26-27 and Aug. 31, 2006

Contributor(s): | Brim, Lubos... [ et al.] | Brim, Lubos... [ et al.]Language: English Series: Lecture notes in computer science ; v.4346Publication details: Berlin ; Springer ; 2007Edition: Description: x,363 p; 23 cmISBN: 3-540-70951-7Subject(s): | Computer Science and Engineering | Production engineering-Computer programs-Congresses , Production engineering-Computer programs-Congresses , Industrial management-Data processing-Congresse
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:658.5For:11:06 Available G56A14 212458
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha