000			02176nam a22004695i 4500
001			978-3-540-46845-5
003			DE-He213
005			20160624102018.0
007			cr nn 008mamaa
008			100301s2006 gw | s |||| 0|eng d
020			_a9783540468455 _9978-3-540-46845-5
024	7		_a10.1007/11894100 _2doi
050		4	_aQA76.6-76.66
072		7	_aUM _2bicssc
072		7	_aCOM051000 _2bisacsh
082	0	4	_a005.11 _223
245	1	0	_aCentral European Functional Programming School _h[electronic resource] : _bFirst Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures / _cedited by Zoltán Horváth.
260		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2006.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2006.
300			_aVII, 257 p. Also available online. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v4164
505	0		_aGeneric 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.
650		0	_aComputer science.
650		0	_aSoftware engineering.
650	1	4	_aComputer Science.
650	2	4	_aProgramming Techniques.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aSoftware Engineering.
700	1		_aHorváth, Zoltán. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783540468431
786			_dSpringer
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v4164
856	4	0	_uhttp://dx.doi.org/10.1007/11894100
942			_2EBK5917 _cEBK
999			_c35211 _d35211