Andere Kunden interessierten sich auch für
![Functional and Logic Programming]( "Functional and Logic Programming")
Functional and Logic Programming69,54 €![Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles]( "Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles")
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles63,99 €![Verification, Model Checking, and Abstract Interpretation]( "Verification, Model Checking, and Abstract Interpretation")
Verification, Model Checking, and Abstract Interpretation49,99 €![Verification, Model Checking, and Abstract Interpretation]( "Verification, Model Checking, and Abstract Interpretation")
Verification, Model Checking, and Abstract Interpretation49,99 €![Verification, Model Checking, and Abstract Interpretation]( "Verification, Model Checking, and Abstract Interpretation")
Verification, Model Checking, and Abstract Interpretation55,99 €![Verified Software. Theories, Tools and Experiments.]( "Verified Software. Theories, Tools and Experiments.")
Verified Software. Theories, Tools and Experiments.37,99 €![Logic-Based Program Synthesis and Transformation]( "Logic-Based Program Synthesis and Transformation")
Logic-Based Program Synthesis and Transformation37,99 €
This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024.
The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of
declarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.
The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of
declarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.