Artículos relacionados a Functional and Logic Programming: 14th International...
Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings: 10818 (Theoretical Computer Science and General Issues) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 63,89
EUR 17,14 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 53,49
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Functional and Logic Programming: 14th International...
Imagen del vendedor
Functional and Logic Programming
Publicado por
Springer International Publishing Apr 2018, 2018
ISBN 10: 3319906852
ISBN 13: 9783319906850
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783319906850
Cantidad disponible: 2 disponibles
Imagen de archivo
Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings (Theoretical Computer Science and General Issues)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783319906850_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9¿11, 2018, Proceedings
Publicado por
Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319906852
ISBN 13: 9783319906850
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783319906850
Cantidad disponible: 1 disponibles
Imagen del vendedor
Functional and Logic Programming
Publicado por
Springer International Publishing, 2018
ISBN 10: 3319906852
ISBN 13: 9783319906850
Nuevo
Kartoniert / Broschiert
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Kartoniert / Broschiert. Condición: 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. Nº de ref. del artículo: 220290719
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Functional and Logic Programming : 14th International Symposium, Flops 2018, Nagoya, Japan, May 9?11, 2018, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 32714395-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings (Lecture Notes in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783319906850
Cantidad disponible: 10 disponibles
Imagen del vendedor
Functional and Logic Programming : 14th International Symposium, Flops 2018, Nagoya, Japan, May 9â"11, 2018, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 32714395-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Functional and Logic Programming : 14th International Symposium, Flops 2018, Nagoya, Japan, May 9?11, 2018, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 32714395
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Functional and Logic Programming : 14th International Symposium, Flops 2018, Nagoya, Japan, May 9?11, 2018, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 32714395
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9?11, 2018, Proceedings (Theoretical Computer Science and General Issues)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. 1st ed. 2018 edition NO-PA16APR2015-KAP. Nº de ref. del artículo: 26376480319
Cantidad disponible: 4 disponibles