Home > Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Book Informaton
Author
Peter E. Lauer
Series
Lecture Notes in Computer Science
Volume
693
Year of Publication
1993
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XIII, 403
Language
en
ISBN
9783540568834, 9783540477761, 3540568832, 0387568832
ARI Id
1664461645134
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationShowing 1 to 19 of 19 entries
Chapters/Headings | Author(s) | Pages | Info |
1-31 | |||
32-46 | |||
47-70 | |||
71-83 | |||
84-107 | |||
108-116 | |||
117-128 | |||
129-144 | |||
145-164 | |||
165-198 | |||
199-228 | |||
229-277 | |||
278-295 | |||
296-328 | |||
329-348 | |||
349-373 | |||
374-398 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 19 of 19 entries