Bookbot
Le livre est actuellement en rupture de stock

Central European Functional Programming School

First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures

Paramètres

En savoir plus sur le livre

InhaltsverzeichnisGeneric 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.

Édition

Achat du livre

Central European Functional Programming School, Zoltán Horváth

Langue
Année de publication
2006
product-detail.submit-box.info.binding
(souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer

Sous-titre
First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
Langue
Anglais
Éditeur
Springer
Publié
2006
Format
souple
ISBN10
3540468439
ISBN13
9783540468431
Séries
Mots clés
Nonfiction, Technologie & Ingénierie, Informatique & Internet
Description
InhaltsverzeichnisGeneric 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.