LEADER 00937nam0-22003131i-450- 001 990003960880403321 010 $a1-883249-57-0 035 $a000396088 035 $aFED01000396088 035 $a(Aleph)000396088FED01 035 $a000396088 100 $a20030604d1999----km-y0itay50------ba 101 0 $aeng 200 1 $a<>dictionary of financial risk management$fGary L. Gastineau, Mark P. Kritzman 210 $aNew York$cFrank J. Fabozzi Associates$d1999 215 $aiii, 342 p.$d26 cm 610 0 $aTeoria del rischio 610 0 $aMatematica finanziaria 610 0 $aStrumenti finanziari 676 $a368.0119 700 1$aGastineau,$bGary L.$0149124 701 1$aKritzman,$bMark P.$0149125 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003960880403321 952 $aMVI-D-75$b9440$fMAS 959 $aMAS 996 $aDictionary of financial risk management$9512993 997 $aUNINA LEADER 03490nam 22007455 450 001 996210537603316 005 20230330053053.0 010 $a3-319-12904-X 024 7 $a10.1007/978-3-319-12904-4 035 $a(CKB)3710000000306166 035 $a(SSID)ssj0001386750 035 $a(PQKBManifestationID)11766809 035 $a(PQKBTitleCode)TC0001386750 035 $a(PQKBWorkID)11374263 035 $a(PQKB)11542089 035 $a(DE-He213)978-3-319-12904-4 035 $a(MiAaPQ)EBC5579439 035 $a(PPN)183094492 035 $a(EXLCZ)993710000000306166 100 $a20141115d2014 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRewriting Logic and Its Applications$b[electronic resource] $e10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /$fedited by Santiago Escobar 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (X, 297 p. 49 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8663 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-12903-1 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014. The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of topics in the fields of foundations and models of RL; languages based on RL; RL as a logical framework; RL as a semantic framework; use of RL to provide rigorous support for model-based software engineering; formalisms related to RL; verification techniques for RL specifications; comparisons of RL with existing formalisms having analogous aims; application of RL to specification and analysis of distributed systems and physical systems. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8663 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 $a004.015113 702 $aEscobar$b Santiago$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996210537603316 996 $aRewriting logic and its applications$92247230 997 $aUNISA