LEADER 00871nam0-2200301---450- 001 990008261160403321 005 20060124110723.0 010 $a0521813042 035 $a000826116 035 $aFED01000826116 035 $a(Aleph)000826116FED01 035 $a000826116 100 $a20060124d2002----km-y0itay50------ba 101 0 $aeng 102 $aGB 105 $ay---n---001yy 200 1 $aLiberal pluralism$ethe implications of value pluralism for political theory and practice$fWilliam A. Galston 210 $aCambridge$cCambridge University Press$d2002 215 $aIX, 137 p.$d23 cm 676 $a320.5$v20$zita 700 1$aGalston,$bWilliam A.$f<1946->$089193 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990008261160403321 952 $aS 112$b3667$fDSI 959 $aDSI 996 $aLiberal pluralism$9742052 997 $aUNINA LEADER 01033nam2-22003251i-450 001 990004238030403321 005 20180517154420.0 010 $a0-436-20370-7 035 $a000423803 100 $a20010221d1998----km-y0itay50------ba 101 0 $aeng 102 $aGB 105 $ay-------001zd 200 1 $a<<16.: >>I have tried to tell the truth$e1943-1944$fGeorege Orwell$gedited by Peter Davison$gassisted by Ian Angus and Sheila Davison 205 $aRepr. 210 $aLondon$cSecker and Warburg$d1998 215 $aXXIX, 534 p.$d24 cm 461 1$1001000423779$12001$a<>complete works of George Orwell$v16 676 $a823.912$v22 700 1$aOrwell,$bGeorge$f<1903-1950>$0152685 702 1$aAngus,$bIan 702 1$aDavison,$bPeter Hobley 702 1$aDavison,$bSheila 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004238030403321 952 $a823.912 ORWE 1(2:16)$bBibl.37065$fFLFBC 959 $aFLFBC 996 $aI have tried to tell the truth$91506403 997 $aUNINA LEADER 03070nam 2200625 450 001 9910827041803321 005 20240205155449.0 010 $a1-119-85118-1 010 $a1-119-85119-X 010 $a1-119-85117-3 024 7 $a10.1002/9781119851196 035 $a(CKB)4100000011995260 035 $a(MiAaPQ)EBC6690677 035 $a(Au-PeEL)EBL6690677 035 $a(OCoLC)1263872911 035 $a(OCoLC)1269508933 035 $a(OCoLC-P)1269508933 035 $a(CaSebORM)9781786306029 035 $a(EXLCZ)994100000011995260 100 $a20220421d2021 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aConcepts and semantics of programming languages 2 $emodular and object-oriented constructs with Ocaml, Python, C++, Ada and Java /$fThe?re?se Hardin [and three others] 210 1$aHoboken :$cISTE Ltd / John Wiley and Sons Inc,$d[2021] 210 4$dİ2021 215 $a1 online resource (265 pages) 225 1 $aComputer engineering series 300 $aIncludes index. 311 $a1-78630-602-6 330 $aThis book - composed of two volumes - explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming Languages 2 presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes. This book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification. 410 0$aComputer engineering series. 606 $aProgramming languages (Electronic computers)$xSemantics 606 $aOCaml (Computer program language) 606 $aPython (Computer program language) 606 $aC++ (Computer program language) 606 $aAda (Computer program language) 606 $aJava (Computer program language) 615 0$aProgramming languages (Electronic computers)$xSemantics. 615 0$aOCaml (Computer program language) 615 0$aPython (Computer program language) 615 0$aC++ (Computer program language) 615 0$aAda (Computer program language) 615 0$aJava (Computer program language) 676 $a005.13 700 $aHardin$b The?re?se$01175257 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910827041803321 996 $aConcepts and semantics of programming languages 2$93967537 997 $aUNINA