Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 /
by IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirchen, Germany); Bjørner, D. (Dines); IFIP Technical Committee 2--Programming.
Material type:
BookPublisher: Amsterdam ; New York : New York, N.Y. : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983Description: xii, 455 p. ; 23 cm.ISBN: 0444866191.Subject(s): Computer programming -- Congresses | Formal languages -- Congresses
| Item type | Current location | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Dhaka University Science Library General Stacks | Non Fiction | 001.6424 BJF (Browse shelf) | Available | A278264 |
"Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p.
Includes bibliographies and index.
There are no comments for this item.