Research Catalog

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

Title
Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992 : McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.).
Publication
Berlin ; New York : Springer-Verlag, [1993], ©1993.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.62 .F86 1993gOff-site

Holdings

Details

Additional Authors
  • Lauer, Peter E., 1934-
  • Zucker, J. I. (Jeffery I.), 1942-
  • Janicki, Ryszard.
  • McMaster University. Department of Computer Science and Systems.
Description
x, 398 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 693
Uniform Title
Lecture notes in computer science ; 693.
Alternative Title
International lecture series 1991-1992 : McMaster University, Hamilton, Ontario, Canada.
Subjects
Note
  • "This collection of papers arose from a series of lectures, given in the Department of Computer Science and Systems, McMaster University, Hamilton, Ontario, Canada, during 1991-92, at the invitation of Peter Lauer. The series was co-ordinated by Peter Lauer, Jeffery Zucker and Ryszard Janicki"--Pref.
Bibliography (note)
  • Includes bibliographical references.
ISBN
  • 3540568832 (Berlin : acid-free paper)
  • 0387568832 (New York : acid-free paper)
OCLC
  • 28552146
  • ocm28552146
Owning Institutions
Columbia University Libraries