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 Electronic
Publication InfoBerlin ; New York : Springer-Verlag,
Descriptionx, 398 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science
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
Bibliography noteIncludes bibliographical references.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
Other title International lecture series.
LCCN 93211848
ISBN3540568832 (Berlin : alk. paper)
ISBN0387568832 (New York : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available