Formal methods in programming and their applications : international conference proceedings, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 / edited by Dines Bjotnr, Manfred Broy and Igor V. Pottosin

Contributor(s): Language: English Series: Lecture notes in computer science ; v.735Publication details: Berlin ; Springer-Verlag ; 1993Edition: Description: ix,434 p; 23 cmISBN: 3-540-57316-X0Subject(s): | Programming languages(Electronic computers)-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 For:93 Available C19B09 169786
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha