Willkommen, schön sind Sie da!
Logo Ex Libris

Functional and Logic Programming

  • E-Book (pdf)
  • 281 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held i... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 77.00
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018.

The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues.

Produktinformationen

Titel: Functional and Logic Programming
Untertitel: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings
Editor:
EAN: 9783319906867
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Veröffentlichung: 01.05.2018
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 9.06 MB
Anzahl Seiten: 281

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"