Cover Image

Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada /

Bibliographic Details
Other Authors: Lauer, Peter E., 1934-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1993]
Series:Lecture notes in computer science ; 693.
Subjects:
Computer programming > Congresses.
Functional programming (Computer science) > Congresses.
Parallel programming (Computer science) > Congresses.
Automatic theorem proving > Congresses.
Computer simulation > Congresses.
Description
Physical Description:x, 398 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references.
ISBN:3540568832 (Berlin : alk. paper)
0387568832 (New York : alk. paper)