Produktnummer:
185ab70cfdde354ae4b4b3e1ad6e26b32d
Themengebiete: | SAT solvers abstraction concurrency digital circuits software engineering |
---|---|
Veröffentlichungsdatum: | 11.12.2013 |
EAN: | 9783642453397 |
Sprache: | Englisch |
Seitenzahl: | 169 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | McCarthy, Jay |
Verlag: | Springer Berlin |
Untertitel: | 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers |
Produktinformationen "Trends in Functional Programming"
This book constitutes the thoroughly refereed revised selected papers of the 14th International Symposium on Trends in Functional Programming, TFP 2013, held in Provo, UT, USA in May 2013. The 10 revised full papers included in this volume were carefully and selected from 27 submissions. They cover topics such as distributed systems, education, functional language implementation, hardware synthesis, static analysis, testing and total programming.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen