000			02411nam a22005295i 4500
001			978-3-540-46845-5
003			DE-He213
005			20240423130249.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
072		7	_aUM _2thema
082	0	4	_a005.11 _223
100	1		_aHorváth, Zoltán. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut
245	1	0	_aCentral European Functional Programming School _h[electronic resource] : _bFirst Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures / _cby Zoltán Horváth.
250			_a1st ed. 2006.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2006.
300			_aVII, 257 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aTheoretical Computer Science and General Issues, _x2512-2029 ; _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 programming.
650		0	_aCompilers (Computer programs).
650		0	_aSoftware engineering.
650	1	4	_aProgramming Techniques.
650	2	4	_aCompilers and Interpreters.
650	2	4	_aSoftware Engineering.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer Nature eBook
776	0	8	_iPrinted edition: _z9783540468431
776	0	8	_iPrinted edition: _z9783540831723
830		0	_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v4164
856	4	0	_uhttps://doi.org/10.1007/11894100
912			_aZDB-2-SCS
912			_aZDB-2-SXCS
912			_aZDB-2-LNC
942			_cSPRINGER
999			_c186760 _d186760