Functional Programming, Concurrency, Simulation and Automated Reasoning
International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
This collection of papers arose from a series of lecturesfor workers in computer science and other disciplines. Thelectures were intended to familiarize them with some of themost exciting advanced computer based systems for theconceptualization, design, implementation, simulation, andlogical analysis of applications in these disciplines.The collection presents some strong motivational points forthe use of theory based systems in the areas of functionalprogramming, concurrency, simulation, and automatedreasoning, highlighting some of their advantages anddisadvantages relative to conventional systems. The…
Mehr
CHF 126.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-3-540-56883-4
- EAN: 9783540568834
- Produktnummer: 3257230
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1993
- Seitenangabe: 416 S.
- Masse: H23.5 cm x B15.4 cm x D2.3 cm 544 g
- Auflage: 1993
- Abbildungen: Paperback
- Gewicht: 544
Bewertungen
Anmelden