Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Mai 2024
Genre:	EDV / Informatik
	architectureverificationandvalidation / ArtificialIntelligence / Computerhardware / computerprogramming / computersystems / distributedcomputersystems / distributedsystems / embeddedsystems / formallogic / functionalprogramming / Künstliche Intelligenz (KI) / logicprogramming / Object-OrientedProgramming / parallelprocessingsystems / programcompilers / Software Engineering / softwarearchitecture / Softwaredesign / Softwareengineering / Softwarequality / Systemanalyse und -design / Theoretische Informatik / Verification / verificationandvalidation mehr...
ISBN:	9789819722990
EAN-Code:	9789819722990
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 19 mm
Gewicht:	528 gr
Seiten:	348
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.