Produktbild
Graham (Hrsg.) Birtwistle

IV Higher Order Workshop, Banff 1990

Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990

Ebook (PDF Format)

It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. The advantage of higher order descriptions - that they can be very succinct and clear - has been percolating through ever since. Current research topics range from the design, implementation and use of higher order proof assistants and theorem provers, through program specification and verification, and programming language design, to its applications in hardware description and verification. The papers in this book represent the presentations made at a workshop held at Banff, Canada,… Mehr

CHF 103.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


  • ISBN: 978-1-4471-3182-3
  • EAN: 9781447131823
  • Produktnummer: 37280605
  • Verlag: Springer London
  • Sprache: Englisch
  • Erscheinungsjahr: 2012
  • Seitenangabe: 285 S.
  • Plattform: PDF
  • Auflage: 1991

7 weitere Werke von Graham (Hrsg.) Birtwistle:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.