Articoli correlati a Functional and Logic Programming: 14th International...
Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings: 14th International Symposium, ... May 9–11, 2018, Proceedings: 10818 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Functional and Logic Programming: 14th International...
Immagini fornite dal venditore
Functional and Logic Programming
Editore:
Springer International Publishing, 2018
ISBN 10: 3319906852
ISBN 13: 9783319906850
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 fr. Codice articolo 220290719
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Functional and Logic Programming
Editore:
Springer International Publishing Apr 2018, 2018
ISBN 10: 3319906852
ISBN 13: 9783319906850
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 14th InternationalSymposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed andselected from 41 submissions. They coverall aspectsof 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. 300 pp. Englisch. Codice articolo 9783319906850
Quantità: 2 disponibili
Immagini fornite dal venditore
Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9¿11, 2018, Proceedings
ISBN 10: 3319906852
ISBN 13: 9783319906850
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 14th InternationalSymposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed andselected from 41 submissions. They coverall aspectsof 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. Codice articolo 9783319906850
Quantità: 1 disponibili
Immagini fornite dal venditore
Functional and Logic Programming
ISBN 10: 3319906852
ISBN 13: 9783319906850
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch. Codice articolo 9783319906850
Quantità: 2 disponibili
Foto dell'editore
Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings (Theoretical Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783319906850_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Functional and Logic Programming : 14th International Symposium, Flops 2018, Nagoya, Japan, May 9?11, 2018, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 32714395-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Functional and Logic Programming : 14th International Symposium, Flops 2018, Nagoya, Japan, May 9â"11, 2018, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 32714395-n
Quantità: Più di 20 disponibili
Foto dell'editore
Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783319906850
Quantità: 10 disponibili
Immagini fornite dal venditore
Functional and Logic Programming : 14th International Symposium, Flops 2018, Nagoya, Japan, May 9?11, 2018, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 32714395
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Functional and Logic Programming : 14th International Symposium, Flops 2018, Nagoya, Japan, May 9?11, 2018, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 32714395
Quantità: Più di 20 disponibili