LEADER 00637nas 2200241zu 450 001 9911087226203321 005 20260530153817.0 011 $a2987-6990 035 $a(CKB)47892056300041 035 $a(EXLCZ)9947892056300041 100 $a20260530cuuuuuuuu || | 101 0 $aeng 135 $aur||||||||||| 200 00$aCoreID Journal 210 $aIndonesia: $cGenerasi Intelektual Digital 610 0$acomputer sciences 610 0$asoftware engineering 610 0$ainformation technology 610 0$adigital innovation 906 $aJOURNAL 912 $a9911087226203321 996 $aCoreID Journal$94659930 997 $aUNINA LEADER 01574nam2 22002773i 450 001 VAN00116818 005 20260616041139.427 012 $2fei$aS.d. t.t. umea (2pr (3) 1803 (R)$5VAN 100 $a20180629d1803 |0itac50 ba 101 $alat 102 $aIT 140 $a||||||||| ||||||||| 200 1 $aˆ<<‰Juris civilis institutiones ab u.j.d. Nicolao Valletta in regio Neap. Archigymnasio juris civilis antecess. et acad. brevi planaque methodo concinnatae.>> 3 205 $aNeap.$b1803 210 $r260 p. ; 8° 215 $aSegnatura: A-Q? R² 316 $aLegato con il vol. 4.$5IT-IT-CE0105 LAURIABL.800.953 461 1$1001VAN00116817$12001 $aJuris civilis institutiones ab u.j.d. Nicolao Valletta in regio Neap. Archigymnasio juris civilis antecess. et acad. brevi planaque methodo concinnatae. Liber 1. [-4.]$1205 $aNeap. : excudebat Jan. Giaccio$1210 $r4 volumi ; 8°$1215 $aDescrizione basata sul frontespizio del volume 2$v3 620 $dNapoli$3VANL000005 700 1$aValletta$bNicola$3VANV070845$0450366 801 $aIT$bSOL$c20260619$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$1IT-CE0105$2VAN00 912 $aVAN00116818 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00LAURIA BL.800.95 3 $e00BL 3168 20180629 Legato con il vol. 4. 996 $aJuris civilis institutiones ab u.j.d. Nicolao Valletta in regio Neap. Archigymnasio juris civilis antecess. et acad. brevi planaque methodo concinnatae. 3$91521426 997 $aUNICAMPANIA LEADER 03648nam 22005535 450 001 9911150583203321 005 20260415135045.0 010 $a1-4612-1674-5 024 7 $a10.1007/978-1-4612-1674-2 035 $a(CKB)3400000000089649 035 $a(SSID)ssj0000808267 035 $a(PQKBManifestationID)11429835 035 $a(PQKBTitleCode)TC0000808267 035 $a(PQKBWorkID)10777134 035 $a(PQKB)11515655 035 $a(DE-He213)978-1-4612-1674-2 035 $a(MiAaPQ)EBC3076610 035 $a(EXLCZ)993400000000089649 100 $a20121227d1998 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRefinement Calculus $eA Systematic Introduction /$fby Ralph-Johan Back, Joakim Wright 205 $a1st ed. 1998. 210 1$aNew York, NY :$cSpringer New York :$cImprint: Springer,$d1998. 215 $a1 online resource (XVI, 520 p. 11 illus.) 225 1 $aTexts in Computer Science,$x1868-095X 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a0-387-98417-8 320 $aIncludes bibliographical references and index. 327 $a1 Introduction -- 1.1 Contracts -- 1.2 Using Contracts -- 1.3 Computers as Agents -- 1.4 Algebra of Contracts -- 1.5 Programming Constructs -- 1.6 Specification Constructs -- 1.7 Correctness -- 1.8 Refinement of Programs -- 1.9 Background -- 1.10 Overview of the Book -- I Foundations -- 2 Posets, Lattices, and Categories -- 3 Higher-Order Logic -- 4 Functions -- 5 States and State Transformers -- 6 Truth Values -- 7 Predicates and Sets -- 8 Boolean Expressions and Conditionals -- 9 Relations -- 10 Types and Data Structures -- II Statements -- 11 Predicate Transformers -- 12 The Refinement Calculus Hierarchy -- 13 Statements -- 14 Statements as Games -- 15 Choice Semantics -- 16 Subclasses of Statements -- 17 Correctness and Refinement of Statements -- III Recursion and Iteration -- 18 Well-founded Sets and Ordinals -- 19 Fixed Points -- 20 Recursion -- 21 Iteration and Loops -- 22 Continuity and Executable Statements -- 23 Working with Arrays -- 24 The N-Queens Problem -- 25 Loops and Two-Person Games -- IV Statement Subclasses -- 26 Statement Classes and Normal Forms -- 27 Specification Statements -- 28 Refinement in Context -- 29 Iteration of Conjunctive Statements -- References. 330 $aMuch current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge. 410 0$aTexts in Computer Science,$x1868-095X 606 $aComputer science 606 $aTheory of Computation 615 0$aComputer science. 615 14$aTheory of Computation. 676 $a005.1/4 700 $aBack$b Ralph-Johan$4aut$4http://id.loc.gov/vocabulary/relators/aut$0543932 702 $aWright$b Joakim$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911150583203321 996 $aRefinement Calculus$94875431 997 $aUNINA