Trends in Functional Programming / Lecture Notes in Computer Science Bd.12222 (PDF)
The 11 full papers presented in this volume were...
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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
- 2020, 1st ed. 2020, 249 Seiten, Englisch
- Herausgegeben: Aleksander Byrski, John Hughes
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3030577619
- ISBN-13: 9783030577612
- Erscheinungsdatum: 17.08.2020
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Grösse: 7.70 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Trends in Functional Programming / Lecture Notes in Computer Science Bd.12222".
Kommentar verfassen