Functional and Constraint Logic Programming

28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Michael Hanus,Claudio Sacerdoti Coen

Springer Nature Proceedings Computer Science

Comprar el eBook

Ahorra 10 %Precio de venta: $62.423 CLP.$56.180CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783030753337
Fecha de lanzamiento:5 may 2021
Editorial:Springer International Publishing

Edición:Springer
Formato de archivo:EPUB3
Tamaño de archivo:7.52 MB
Opciones de descarga:EPUB3 (Adobe DRM)

En esta serie

Practical Aspects of Declarative Languages

Michael Hanus,Daniela Inclezan

Functional and Logic Programming

Michael Hanus,Atsushi Igarashi

Declarative Programming and Knowledge Management

Ricardo Rocha,Michael Hanus

Lecturas relacionadas

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

Gratis

Programming Languages and Systems

Amal Ahmed

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Programming Languages and Systems

Luís Caires

Gratis

Systematic Program Design

Yanhong Annie Liu

$50.974

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

$91.402

Trends in Functional Programming Volume 6

Marko Van Eekelen

$42.443

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Programming Languages and Systems

Thomas Wies

Gratis

Emergent Web Intelligence: Advanced Information Retrieval

Richard Chbeir, Youakim Badr, Ajith Abraham, Aboul-Ella Hassanien

$157.324

Machine Learning for Beginners

Harsh Bhasin

$15.395

o Gratis con Kobo Plus

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

$44.943

Transactions on Aspect-Oriented Software Development XII

Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld

$56.180

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

$44.943

Tests and Proofs

Virgile Prevosto, Cristina Seceleanu

$56.180

Integrated Formal Methods

Brijesh Dongol, Elena Troubitsyna

$56.180

Reasoning Web. Semantic Interoperability on the Web

Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab

$56.180

Verified Software. Theories, Tools, and Experiments

Ruzica Piskac, Philipp Rümmer

$56.180

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

$56.180

Tests and Proofs

Einar Broch Johnsen, Sebastian Gabmeyer

$56.180

Practical Aspects of Declarative Languages

Yuliya Lierler, Walid Taha

$56.180

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

$44.943

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman

$89.895

Modelling Foundations and Applications

Andrzej Wąsowski, Henrik Lönn

$56.180

Functional and Logic Programming

Andy King, Oleg Kiselyov

$52.809

Model Checking Software

Alfons Laarman, Ana Sokolova

$56.180

Practical Aspects of Declarative Languages

James Cheney, Simona Perri

$73.037

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

$56.180

Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier, Luís Caires

$56.180

Verified Software: Theories, Tools, and Experiments

Arie Gurfinkel, Sanjit A. Seshia

$56.180

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

$56.180

Coordination Models and Languages

Ferruccio Damiani, Ornela Dardha

$56.180

Trends in Functional Programming Volume 7

Henrik Nilsson

$42.443

Perspectives of System Informatics

Alexander K. Petrenko, Andrei Voronkov

$56.180

Handbook of Conceptual Modeling

Bernhard Thalheim, David W. Embley

$157.324

Programming Languages and Systems

Bor-Yuh Evan Chang

$56.180

Trends in Functional Programming Volume 10

Zoltán Horváth, Viktória Zsók

$42.443

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

$101.133

Schema Matching and Mapping

Zohra Bellahsene, Angela Bonifati, Erhard Rahm

$101.133

Clustering and Information Retrieval

S. Shekhar, Hui Xiong, Weili Wu

$157.324

Logic-Based Program Synthesis and Transformation

Alicia Villanueva

$61.799

Programming Languages and Systems

Atsushi Igarashi

$56.180

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy, Marsha Chechik

$56.180

Verified Software. Theories, Tools and Experiments.

Akash Lal, Stefano Tonetta

$56.180

Applications of Declarative Programming and Knowledge Management

Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf

$56.180

Static Analysis

Gagandeep Singh, Caterina Urban

$78.657

Verified Software: Theories, Tools and Experiments

Dimitra Giannakopoulou, Daniel Kroening

$52.809

Coordination Models and Languages

Giovanna Di Marzo Serugendo, Michele Loreti

$56.180

Programming Languages and Systems

Ilya Sergey

$73.037

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

$56.180

Theory and Practice of Model Transformation

Esther Guerra, Mark van den Brand

$56.180

Programming Languages and Systems

Bruno C. d. S. Oliveira

$56.180

Programming Languages and Systems

Peter Thiemann

$56.180

The Semantic Web – ISWC 2016

Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flöck, Yolanda Gil

$56.180

Trends in Functional Programming

Meng Wang, Scott Owens

$44.943

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Tiziana Margaria, Bernhard Steffen

$95.514

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

$56.180

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Tiziana Margaria, Bernhard Steffen

$95.514

Runtime Verification

Yliès Falcone, César Sánchez

$56.180

Integrated Formal Methods

Maurice H. ter Beek, Rosemary Monahan

$84.276

Web Services and Formal Methods

Emilio Tuosto, Chun Ouyang

$44.943

Concise Guide to Software Verification

Marieke Huisman, Anton Wijs

$67.418

Verified Software. Theories, Tools, and Experiments

Andrei Paskevich, Thomas Wies

$56.180

Patterns, Programming and Everything

R. Nigel Horspool, Karin K. Breitman

$101.133

Software Engineering and Formal Methods

Alessandro Cimatti, Marjan Sirjani

$56.180

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

$101.133

Flexible Approaches in Data, Information and Knowledge Management

Olivier Pivert, Sławomir Zadrożny

$101.133

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

$56.180

Static Analysis

Xavier Rival

$56.180

Web Services, Formal Methods, and Behavioral Types

Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich

$44.943

Fundamentals of Software Engineering

Hossein Hojjat, Mieke Massink

$78.657

Programming Languages and Operational Semantics

Maribel Fernández

$44.943

Model Checking Software

Bernd Fischer, Jaco Geldenhuys

$56.180

Program Specialization

Renaud Marlet

$182.851

Formal and Practical Aspects of Domain-Specific Languages: Recent Developments

Marjan Mernik

$178.452

Computer Security – ESORICS 2017

Simon N. Foley, Dieter Gollmann, Einar Snekkenes

$56.180

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

$56.180

Theory and Application of Multi-Formalism Modeling

Marco Gribaudo, Mauro Iacono

$178.452

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

$56.180

Semantic Search over the Web

Roberto De Virgilio, Francesco Guerra, Yannis Velegrakis

$56.180

Ver más por autor

Intelligent Computer Mathematics

Fairouz Kamareddine, Claudio Sacerdoti Coen

$56.180

Practical Aspects of Declarative Languages

Michael Hanus, Daniela Inclezan

$84.276

Intelligent Computer Mathematics

Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen

$56.180

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

$52.809

Functional and Logic Programming

Michael Hanus, Atsushi Igarashi

$73.037

Declarative Programming and Knowledge Management

Dietmar Seipel, Michael Hanus, Salvador Abreu

$56.180

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

Functional and Constraint Logic Programming

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

En esta serie

Practical Aspects of Declarative Languages

Functional and Logic Programming

Declarative Programming and Knowledge Management

Lecturas relacionadas

Fundamental Approaches to Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

Programming Languages and Systems

Computer Aided Verification

Computer Aided Verification

Programming Languages and Systems

Systematic Program Design

The Functional Approach to Programming

Trends in Functional Programming Volume 6

Tools and Algorithms for the Construction and Analysis of Systems

Programming Languages and Systems

Emergent Web Intelligence: Advanced Information Retrieval

Machine Learning for Beginners

Practical Aspects of Declarative Languages

Transactions on Aspect-Oriented Software Development XII

Trustworthy Global Computing

Tests and Proofs

Integrated Formal Methods

Reasoning Web. Semantic Interoperability on the Web

Verified Software. Theories, Tools, and Experiments

Trustworthy Global Computing

Tests and Proofs

Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

Integrated Formal Methods

Modelling Foundations and Applications

Functional and Logic Programming

Model Checking Software

Practical Aspects of Declarative Languages

Programming Languages and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Verified Software: Theories, Tools, and Experiments

Logic-Based Program Synthesis and Transformation

Coordination Models and Languages

Trends in Functional Programming Volume 7

Perspectives of System Informatics

Handbook of Conceptual Modeling

Programming Languages and Systems

Trends in Functional Programming Volume 10

Verification, Model Checking, and Abstract Interpretation

Schema Matching and Mapping

Clustering and Information Retrieval

Logic-Based Program Synthesis and Transformation

Programming Languages and Systems

Verified Software. Theories, Tools, and Experiments

Verified Software. Theories, Tools and Experiments.

Applications of Declarative Programming and Knowledge Management

Static Analysis

Verified Software: Theories, Tools and Experiments

Coordination Models and Languages

Programming Languages and Systems

Software Engineering and Formal Methods

Theory and Practice of Model Transformation

Programming Languages and Systems

Programming Languages and Systems

The Semantic Web – ISWC 2016

Trends in Functional Programming

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Logic-Based Program Synthesis and Transformation

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Runtime Verification

Integrated Formal Methods

Web Services and Formal Methods

Concise Guide to Software Verification

Verified Software. Theories, Tools, and Experiments

Patterns, Programming and Everything

Software Engineering and Formal Methods

Meta-Programming and Model-Driven Meta-Program Development