Formal description of programming concepts - II : proceedings of the IFIP working conference on formal description of programming concepts, Garmisch-Partenkirchen, FRG, 1-4 June, 1982 / edited by Dines Bjorner
Language: English Series: Publication details: Amsterdam ; North-Holland, ; 1983Edition: Description: xii,455 p; 22 cmISBN: 0-444-86619-10Subject(s): | Formal languages-semantics-Congresses | Programming languages (Electronic computers)Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB Compact Storage - Basement Area | 681.3.06 IFI:82 | Available | C19B10 | 123583 |
Total holds: 0
There are no comments on this title.