Normal view MARC view ISBD view

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

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 Bjorner - Amsterdam North-Holland Pub. Co. 1983 - xii, 455 p. 23 cm.

"Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p

Subjects--Topical Terms:
Formal languages
Computer programming

Dewey Class. No.: 001.64 / 2

Place hold
Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Welcome to the Matheson Library

Learn and Grow

Connect with Us

Discover New Worlds

Digital Resources

Collaborate and Innovate

Events and Workshops

History and Heritage

Our Mission

Future Ready

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