Bookbot

Central European Functional Programming School

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

Meer over het boek

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.

Een boek kopen

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

Taal
Jaar van publicatie
2006
product-detail.submit-box.info.binding
(Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.

Betaalmethoden

Nog niemand heeft beoordeeld.Tarief

Ondertitel
First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
Taal
Engels
Uitgever
Springer
Jaar van publicatie
2006
Formaat
Paperback
ISBN10
3540468439
ISBN13
9783540468431
Reeks
Aantekening
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.