Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982 / edited by Dines Bjørner.
| Author/creator | IFIP Working Conference on Formal Description of Programming Concepts |
| Other author | Bjørner, D. (Dines), 1937- |
| Other author | IFIP Technical Committee 2--Programming. |
| Format | Book |
| Publication Info | Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983. |
| Description | xii, 455 pages : illustrations ; 23 cm |
| Subjects |
| General note | "Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p. |
| Bibliography note | Includes bibliographies and index. |
| LCCN | 83000558 |
| ISBN | 0444866191 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.6 .I25 1982 | ✔ Available | Place Hold |