LEADER 04057nam 22007455 450 001 996465648703316 005 20230329194321.0 010 $a3-642-34005-9 024 7 $a10.1007/978-3-642-34005-5 035 $a(CKB)3280000000002195 035 $a(SSID)ssj0000788975 035 $a(PQKBManifestationID)11518570 035 $a(PQKBTitleCode)TC0000788975 035 $a(PQKBWorkID)10722423 035 $a(PQKB)10610766 035 $a(DE-He213)978-3-642-34005-5 035 $a(MiAaPQ)EBC3070430 035 $a(PPN)168325934 035 $a(EXLCZ)993280000000002195 100 $a20121009d2012 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRewriting Logic and Its Applications$b[electronic resource] $e9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /$fedited by Francisco Durán 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (VIII, 241 p. 51 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7571 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-34004-0 320 $aIncludes bibliographical references and author index. 327 $aRigorous Component-Based System Design (Invited Paper) -- Program Analysis Scenarios in Rascal -- K Framework Distilled -- Design and Analysis of Cloud-Based Architectures with KLAIM and Maude -- Making Maude Definitions More Interactive -- Model Checking LTLR Formulas under Localized Fairness -- Modelling and Analyzing Adaptive Self-assembly Strategies with Maude -- Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude -- Order-Sorted Equality Enrichments Modulo Axioms -- Timed CTL Model Checking in Real-Time Maude -- Using Narrowing to Test Maude Specifications -- A Rule-Based Framework for Building Superposition-Based Decision Procedures. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7571 606 $aComputer science 606 $aSoftware engineering 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aMachine theory 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aFormal Languages and Automata Theory 606 $aModels of Computation 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aMachine theory. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aFormal Languages and Automata Theory. 615 24$aModels of Computation. 676 $a005.101/5113 702 $aDurán$b Francisco$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aWRLA 2012 906 $aBOOK 912 $a996465648703316 996 $aRewriting logic and its applications$92247230 997 $aUNISA LEADER 02843nam 2200625 a 450 001 9910785738903321 005 20200520144314.0 010 $a9786612960949 010 $a1-61578-024-6 010 $a1-282-96094-6 035 $a(CKB)2670000000262317 035 $a(EBL)795612 035 $a(OCoLC)699720778 035 $a(SSID)ssj0000776866 035 $a(PQKBManifestationID)12346595 035 $a(PQKBTitleCode)TC0000776866 035 $a(PQKBWorkID)10748538 035 $a(PQKB)10359519 035 $a(SSID)ssj0000542932 035 $a(PQKBManifestationID)11347503 035 $a(PQKBTitleCode)TC0000542932 035 $a(PQKBWorkID)10519529 035 $a(PQKB)11672588 035 $a(MiAaPQ)EBC795612 035 $a(Au-PeEL)EBL795612 035 $a(CaPaEBR)ebr10480801 035 $a(CaONFJC)MIL296094 035 $a(EXLCZ)992670000000262317 100 $a20100301d2010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAfter the war$b[electronic resource] $ethe lives and images of major Civil War figures after the shooting stopped /$fDavid Hardin 210 $aChicago $cIvan R. Dee$dc2010 215 $a1 online resource (509 p.) 300 $aDescription based upon print version of record. 311 $a1-56663-859-3 311 $a1-56663-967-0 320 $aIncludes bibliographical references and index. 327 $aThe daughter of the confederacy : Winnie Davis -- The conqueror's son : Tom Sherman -- The general's last battle : Ulysses S. Grant -- The diarist : Mary Boykin Chesnut -- The crippled knight : John Bell Hood -- That devil Forrest : Nathan Bedford Forrest -- The mad woman : Mary Todd Lincoln -- The good hater : Joseph E. Johnston -- The legend : Robert E. Lee -- The turncoat : George H. Thomas -- Libbie's husband : Elizabeth and George A. Custer. 330 $a""Show me a hero and I will write you a tragedy,"" said F. Scott Fitzgerald. Perhaps no event in American history better illustrates this view than the Civil War and its principal players in the years after the conflict. David Hardin's stories of eleven Civil War figures are revealing and touching. Whether Northerner or Southerner, their lives did not end at Appomattox. Their dissimilar outcomes are a feast of irony and, collectively, a portrait of national change. With eleven black-and-white photographs.