53,95 €
53,95 €
inkl. MwSt.
Sofort per Download lieferbar
27 °P sammeln
53,95 €
Als Download kaufen
53,95 €
inkl. MwSt.
Sofort per Download lieferbar
27 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
53,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
27 °P sammeln
Andere Kunden interessierten sich auch für
![Functional and Logic Programming (eBook, PDF)]( "Functional and Logic Programming (eBook, PDF)")
Functional and Logic Programming (eBook, PDF)53,95 €![Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (eBook, PDF)]( "Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (eBook, PDF)")
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (eBook, PDF)69,95 €![Software Engineering and Formal Methods (eBook, PDF)]( "Software Engineering and Formal Methods (eBook, PDF)")
Software Engineering and Formal Methods (eBook, PDF)53,95 €![Programming Languages and Systems (eBook, PDF)]( "Programming Languages and Systems (eBook, PDF)")
Programming Languages and Systems (eBook, PDF)61,95 €![Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering (eBook, PDF)]( "Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering (eBook, PDF)")
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering (eBook, PDF)57,95 €![Programming Languages and Systems (eBook, PDF)]( "Programming Languages and Systems (eBook, PDF)")
Programming Languages and Systems (eBook, PDF)53,95 €![Leveraging Applications of Formal Methods, Verification and Validation (eBook, PDF)]( "Leveraging Applications of Formal Methods, Verification and Validation (eBook, PDF)")
Leveraging Applications of Formal Methods, Verification and Validation (eBook, PDF)57,95 €
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.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.