Central European Functional Programming School [electronic resource] : First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures / edited by Zoltn Horvth.
Tipo de material:
TextoSeries Lecture Notes in Computer Science, 4164Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Descripción: VII, 257 p. Also available online. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783540468455Trabajos contenidos: SpringerLink (Online service)Tema(s): Computer science | Software engineering | Computer Science | Programming Techniques | Programming Languages, Compilers, Interpreters | Software EngineeringFormatos físicos adicionales: Sin títuloClasificación CDD: 005.11 Clasificación LoC:QA76.6-76.66Recursos en línea: de clik aquí para ver el libro electrónico
Contenidos:
Springer eBooks
No hay ítems correspondientes a este registro
Generic Editors for the World Wide Web -- Fully Automatic Testing with Functions as Specifications -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach -- The Essence of Dataflow Programming -- Temporal Properties of Clean Programs Proven in Sparkle-T -- Tutorial on Subtype Marks -- Designing Distributed Computational Skeletons in D-Clean and D-Box.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.