Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Februar 2019
Genre:	EDV / Informatik
	Artificial Intelligence / C / Compiler und Übersetzer / Compilers & interpreters / Compilers and Interpreters / Computer programming / computer science / data structures design and analysis / data types and structures / dynamic analysis / Embedded Software / formal software verification / just-in-time compilers / Künstliche Intelligenz / Lambda Calculus / program reasoning / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / programming logic / Programming Techniques / run-time environments mehr...
ISBN:	9783030148041
EAN-Code:	9783030148041
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#10447 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	320 gr
Seiten:	193
Illustration:	IX, 193 p. 444 illus., 20 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016.The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming.