Bookbot

Central European Functional Programming School

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

Viac o knihe

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.

Nákup knihy

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

Jazyk
Rok vydania
2006
product-detail.submit-box.info.binding
(mäkká)
Akonáhle sa objaví, pošleme e-mail.

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť

Podtitul
First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
Jazyk
anglicky
Vydavateľ
Springer
Rok vydania
2006
Väzba
mäkká
ISBN10
3540468439
ISBN13
9783540468431
Série
Anotácia
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.