Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings (Lecture Notes in Computer Science, Band 10818)
3 Angebote vergleichen
Bester Preis: € 3,08 (vom 27.07.2020)1
Functional and Logic Programming (2018)
~EN PB NW
ISBN: 9783319906850 bzw. 3319906852, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Deutschland, Lagernd.
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. Soft cover.
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. Soft cover.
2
Functional and Logic Programming (2018)
~EN PB NW FE
ISBN: 9783319906850 bzw. 3319906852, vermutlich in Englisch, Taschenbuch, neu, Erstausgabe.
Lieferung aus: Deutschland, Next Day, Versandkostenfrei.
Erscheinungsdatum: 24.04.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Functional and Logic Programming, Titelzusatz: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, Auflage: 1. Auflage von 2018 // 1st ed. 2018, Redaktion: Gallagher, John P. // Sulzmann, Martin, Verlag: Springer International Publishing // Springer International Publishing AG, Sprache: Englisch, Schlagworte: Compiler // Übersetzer // EDV // Theorie // Software-Entw // Software Engineering // Expertensystem // Informatik // Informationstechnologie // IT // Technologie // Programmiersprachen // Wissensbasiertes System, Rubrik: Informatik, Seiten: 300, Informationen: Paperback, Gewicht: 475 gr, Verkäufer: averdo.
Erscheinungsdatum: 24.04.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Functional and Logic Programming, Titelzusatz: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, Auflage: 1. Auflage von 2018 // 1st ed. 2018, Redaktion: Gallagher, John P. // Sulzmann, Martin, Verlag: Springer International Publishing // Springer International Publishing AG, Sprache: Englisch, Schlagworte: Compiler // Übersetzer // EDV // Theorie // Software-Entw // Software Engineering // Expertensystem // Informatik // Informationstechnologie // IT // Technologie // Programmiersprachen // Wissensbasiertes System, Rubrik: Informatik, Seiten: 300, Informationen: Paperback, Gewicht: 475 gr, Verkäufer: averdo.
3
Symbolbild
Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings (Lecture Notes in Computer Science, Band 10818) (2018)
EN PB NW FE
ISBN: 9783319906850 bzw. 3319906852, in Englisch, 278 Seiten, Springer, Taschenbuch, neu, Erstausgabe.
Lieferung aus: Deutschland, Noch nicht erschienen. Versandkostenfrei.
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…