Erschienen: 18.08.2020 Abbildung von Byrski / Hughes | Trends in Functional Programming | 1. Auflage | 2020 | beck-shop.de

Byrski / Hughes

Trends in Functional Programming

21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

53,49 €

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

auch verfügbar als eBook (PDF) für 53.49 €

Fachbuch

Buch. Softcover

1st ed. 2020. 2020

x, 249 S. 736 s/w-Abbildungen, 45 Farbabbildungen, Bibliographien.

In englischer Sprache

Springer. ISBN 978-3-030-57760-5

Format (B x L): 15,5 x 23,5 cm

Gewicht: 403 g

Produktbeschreibung

This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; reasoning and effects; and parallelism. The following chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com: Chapter 3: Generating next step hints for task oriented programs using symbolic execution by Nico Naus and Tim Steenvoorden, and Chapter 5: Flexible Formality Practical Experience with Agile Formal Methods by Philipp Kant et al

Top-Produkte dieser Kategorie

Unsere Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Autoren

  • Rezensionen

    Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...