Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.).

Other author Lauer, Peter E., 1934-
Format Book
Publication InfoBerlin ; New York : Springer-Verlag, ©1993.
Descriptionx, 398 pages : illustrations ; 24 cm.
Subjects
Computer programming--Congresses.
Functional programming (Computer science)--Congresses.
Parallel programming (Computer science)--Congresses.
Automatic theorem proving--Congresses.
Computer simulation--Congresses.

SeriesLecture notes in computer science ; 693
Lecture notes in computer science 693. ^A466336
Bibliography noteIncludes bibliographical references.
ISBN3540568832 (Berlin : alk. paper)
ISBN0387568832 (New York : alk. paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.61 .F858 1993 ✔ Available Place Hold