LEADER 01336nam2-2200385li-450 001 990000120220203316 005 20180312154751.0 010 $a90-277-1376-6 035 $a0012022 035 $aUSA010012022 035 $a(ALEPH)000012022USA01 035 $a0012022 100 $a2001992061982-------y0itay0103----ba 101 0 $aeng 102 $aNE 200 1 $aAnalytic functional calculus and spectral decompositions$fFlorian Horia Vasilescu 210 $aDordrecht [etc.]$cD. Reidel Publishing Company$dcopyr. 1982 215 $aXIV, 378 p.$cill.$d23 cm 225 2 $aMathematics and its applications. East european series$v1 410 0$10010012023$12001$aMathematics and its applications. East european series 610 1 $aanalisi funzionale 676 $a515$9Analisi matematica 700 1$aVasilescu,$bFlorian Horia$0534631 801 $aSistema bibliotecario di Ateneo dell' Universitą di Salerno$gRICA 912 $a990000120220203316 951 $a515 VAS$b13797/CBS$c515$d00220707 959 $aBK 969 $aSCI 979 $c19920618 979 $c20001110$lUSA01$h1711 979 $c20020403$lUSA01$h1619 979 $aPATRY$b90$c20040406$lUSA01$h1609 979 $aRSIAV7$b90$c20090518$lUSA01$h1356 996 $aAnalytic functional calculus and spectral decompositions$9910790 997 $aUNISA LEADER 03975nam 22006615 450 001 996466058303316 005 20200629215047.0 010 $a3-540-48067-6 024 7 $a10.1007/3-540-57335-6 035 $a(CKB)1000000000234039 035 $a(DE-He213)978-3-540-48067-9 035 $a(PPN)155205560 035 $a(EXLCZ)991000000000234039 100 $a20121227d1993 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aThe Generic Development Language Deva$b[electronic resource] $ePresentation and Case Studies /$fby Matthias Weber, Martin Simons, Christine Lafontaine 205 $a1st ed. 1993. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1993. 215 $a1 online resource (XIII, 251 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v738 311 $a3-540-57335-6 327 $aInformal introduction to Deva -- Stepwise definition of Deva -- Formalization of basic theories -- Case study on VDM-style developments -- Case study on algorithm calculation -- Conclusion. 330 $aThis book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and at Berlin University of Technology. It provides a comprehensive description of the generic development language Deva designed by the authors. Much of the research reported in this monograph is inspired by the work of Michel Sintzoff on formal program development; he contributed an enlightening Foreword. Deva is essentially a typed functional language with certain deduction rules. The difference with ordinary languages is, of course, the application domain: the types serve here to express propositions such as specifications or programs, rather than just data classes. Its practical applicability was tested on several non-trivial case studies. The whole book is written using the DVWEB system, a WEB for Deva, beeing implemented at the Berlin University of Technology. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v738 606 $aProgramming languages (Electronic computers) 606 $aComputers 606 $aComputer logic 606 $aMathematical logic 606 $aComputer programming 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 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 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aProgramming languages (Electronic computers). 615 0$aComputers. 615 0$aComputer logic. 615 0$aMathematical logic. 615 0$aComputer programming. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aTheory of Computation. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Techniques. 615 24$aMathematical Logic and Foundations. 676 $a005.13 700 $aWeber$b Matthias$4aut$4http://id.loc.gov/vocabulary/relators/aut$028136 702 $aSimons$b Martin$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aLafontaine$b Christine$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a996466058303316 996 $aThe Generic Development Language Deva$92831236 997 $aUNISA LEADER 01095nam0 22003251i 450 001 PUV0544730 005 20231121125616.0 010 $a2130399428 100 $a20130625d1941 ||||0itac50 ba 101 | $afre 102 $afr 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $a˜L'œevolution creatrice$fHenri Bergson 205 $a156. ed 210 $aParis$cPresses universitaires de France$d1941 215 $aXII, 372 p.$d19 cm. 225 | $aQuadrige$v8 410 0$1001BVE0002761$12001 $aQuadrige$v8 700 1$aBergson$b, Henri$3CFIV010416$4070$047460 790 1$aBergson$b, Henri Louis$3MILV110172$zBergson, Henri 790 1$aBergson$b, Enrico$3SBNV026598$zBergson, Henri 801 3$aIT$bIT-01$c20130625 850 $aIT-FR0017 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 912 $aPUV0544730 950 0$aBiblioteca umanistica Giorgio Aprea$d 52MAG 12/2342$e 52FSS0000007165 VMN RS $fA $h20130625$i20130625 977 $a 52 996 $aEvolution crčatrice$929130 997 $aUNICAS