LEADER 04017nam  22007815  450 
001 996465743903316
005 20230330004840.0
010   $a3-642-33314-1
024 7 $a10.1007/978-3-642-33314-9
035   $a(CKB)3400000000086054
035   $a(SSID)ssj0000767587
035   $a(PQKBManifestationID)11489961
035   $a(PQKBTitleCode)TC0000767587
035   $a(PQKBWorkID)10741483
035   $a(PQKB)11105866
035   $a(DE-He213)978-3-642-33314-9
035   $a(MiAaPQ)EBC3069884
035   $a(PPN)168324121
035   $a(EXLCZ)993400000000086054
100   $a20120912d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aRelational and Algebraic Methods in Computer Science$b[electronic resource] $e13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings /$fedited by Wolfram Kahl, Timothy G. Griffin
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XII, 361 p. 33 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7560
300   $aInternational conference proceedings.
311   $a3-642-33313-3 
320   $aIncludes bibliographical references and author index.
327   $aApplications to Software Specification and Correctness -- Mechanised Resoning in Relational Algebras -- Algebraic Program DerivationTheoretical Foundations -- Incremental Pseudo Rectangular Organization of Information Relative -- Preference Relations -- Properties of Specialised Relations -- Author Index.  .
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7560
606   $aMachine theory
606   $aComputer science?Mathematics
606   $aComputer science
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aDiscrete mathematics
606   $aFormal Languages and Automata Theory
606   $aSymbolic and Algebraic Manipulation
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aArtificial Intelligence
606   $aDiscrete Mathematics in Computer Science
615  0$aMachine theory.
615  0$aComputer science?Mathematics.
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615  0$aDiscrete mathematics.
615 14$aFormal Languages and Automata Theory.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aArtificial Intelligence.
615 24$aDiscrete Mathematics in Computer Science.
676   $a004.01/51
702   $aKahl$b Wolfram$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGriffin$b Timothy G$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aRAMiCS 2012
906   $aBOOK
912   $a996465743903316
996   $aRelational and Algebraic Methods in Computer Science$92201468
997   $aUNISA