LEADER 04577nam  22008055  450 
001 9910145793503321
005 20200702112317.0
010   $a3-540-47797-7
024 7 $a10.1007/3-540-47797-7
035   $a(CKB)1000000000016889
035   $a(SSID)ssj0000321082
035   $a(PQKBManifestationID)11247367
035   $a(PQKBTitleCode)TC0000321082
035   $a(PQKBWorkID)10262687
035   $a(PQKB)11502921
035   $a(DE-He213)978-3-540-47797-6
035   $a(MiAaPQ)EBC3072550
035   $a(PPN)155209221
035   $a(EXLCZ)991000000000016889
100   $a20121227d2002      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAlgebraic and Coalgebraic Methods in the Mathematics of Program Construction$b[electronic resource] $eInternational Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures /$fedited by Roland Backhouse, Roy Crole, Jeremy Gibbons
205   $a1st ed. 2002.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002.
215   $a1 online resource (XIV, 390 p.)
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2297
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-43613-8 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $aOrdered Sets and Complete Lattices -- Algebras and Coalgebras -- Galois Connections and Fixed Point Calculus -- Calculating Functional Programs -- Algebra of Program Termination -- Exercises in Coalgebraic Specification -- Algebraic Methods for Optimization Problems -- Temporal Algebra.
330   $aProgram construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory. This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2297
606   $aSoftware engineering
606   $aComputers
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aMathematical logic
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aSoftware engineering.
615  0$aComputers.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615  0$aMathematical logic.
615 14$aSoftware Engineering.
615 24$aTheory of Computation.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
676   $a005
702   $aBackhouse$b Roland$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCrole$b Roy$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGibbons$b Jeremy$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aSchool on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910145793503321
996   $aAlgebraic and coalgebraic methods in the mathematics of program construction$9983682
997   $aUNINA