Produktbild
Peter E. (Hrsg.) Lauer

Functional Programming, Concurrency, Simulation and Automated Reasoning

International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada

Buch

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)

Versandfertig innerhalb 1-3 Werktagen

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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.