Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992 McMaster University, Hamilton, Ontari (Lecture Notes in Computer Science, 693) - Softcover

 
9780387568836: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992 McMaster University, Hamilton, Ontari (Lecture Notes in Computer Science, 693)
Softcover
ISBN 10: 0387568832 ISBN 13: 9780387568836
Publisher: Springer Verlag, 1993

Synopsis

Functional Programming, Concurrency, Simulation and Automated Reasoning This collection arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some advanced computer based systems for the conceptualization, design, implementation, simulation, and logical analysis of applications.

"synopsis" may belong to another edition of this title.

Publisher
Springer Verlag
Publication date
1993
Language
English
ISBN 10 
0387568832
ISBN 13 
9780387568836
Binding
Paperback
Number of pages
398
Editor
Lauer Peter E.

Other Popular Editions of the Same Title

9783540568834: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, ... 693 (Lecture Notes in Computer Science, 693)

Featured Edition

ISBN 10:  3540568832 ISBN 13:  9783540568834
Publisher: Springer, 1993
Softcover