LEADER 01438nam2 22003011i 450 001 UON00279049 005 20231205103829.41 010 $a34-470-5242-2 100 $a20060622d2005 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| 1|||| 200 1 $aKitab 'aja'ib al-Malakut$eIntroduction and annotated edition of the prime chapters$fby Shmuel Tamari and Yoel Koch 210 $aWiesbaden$cHarrassowitz$d2005 215 $aXII, 155 p.$d24 cm 461 1$1001UON00279050$12001 $aKitab 'aja'ib al-Malakut. A comprehensively annotated edition and critical revision of al-'aja'ib wa'l-ghara'ib genre$fAbu Ja'far Muhammad b. 'Abidallah al-kisa'i$gedited by Shmuel Tamari and Yoel Koch$1210 $aWiesbaden$cHarrassowitz$d2005-$1215 $av.$d24 cm$v1 620 $aDE$dWiesbaden$3UONL003153 686 $aARA VII E$cPAESI ARABI - FILOSOFIA E RELIGIONE - ALTRE$2A 700 1$aˆal-‰KISA'I$bMuhammad bin 'Abddullah$3UONV085265$0634698 702 1$aKOCH$bYoel$3UONV011334 702 1$aTAMARI$bShmuel$3UONV010253 712 $aHarrassowitz$3UONV245869$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00279049 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI ARA VII E 023 N $eSI SA 117157 7 023 N 996 $aKitab 'aja'ib al-Malakut$91181505 997 $aUNIOR LEADER 01309nam0 22002891i 450 001 UON00400273 005 20231205104653.169 100 $a20111115d1934 |0itac50 ba 101 $acze 102 $aSK 105 $a|||| 1|||| 200 1 $a?ivoty slovanských apo?tolov Cyrila a Metoda$ePanonsko-moravské legendy$fZe cirkevnoslovanského textu, prepísaného zo staroslovienskej povodiny, prelo?il Ján Stanislav 205 $a2. vydanie 210 $aBratislava$aPraha$cL. Mazá?a$d1934 215 $a87, IX p.$cill.$d28 cm. 606 $aCIRILLO E METODIO $3UONC056472$2FI 620 $aSK$dBratislava$3UONL000503 620 $aCZ$dPraha$3UONL003201 676 $a491.8$cLINGUE SLAVE$v21 700 1$aSTANISLAV$bJan$3UONV109551$0706928 712 $aMazá?a$3UONV278783$4650 801 $aIT$bSOL$c20240220$gRICA 912 $aUON00400273 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI SL FL 17 0046 $eSI SL 1410 5 0046 $sBuono 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI SL FL 17 0045 $eSI MR 7176 5 0045 $sBuono 996 $a?ivoty slovanských apo?tolov Cyrila a Metoda$91349266 997 $aUNIOR LEADER 06687nam 2200577 a 450 001 9910768170803321 005 20200520144314.0 010 $a3-540-69149-9 024 7 $a10.1007/978-3-540-69149-5 035 $a(CKB)1000000000440783 035 $a(SSID)ssj0000320630 035 $a(PQKBManifestationID)11264081 035 $a(PQKBTitleCode)TC0000320630 035 $a(PQKBWorkID)10249577 035 $a(PQKB)10713727 035 $a(DE-He213)978-3-540-69149-5 035 $a(MiAaPQ)EBC3068606 035 $a(PPN)127051643 035 $a(EXLCZ)991000000000440783 100 $a20080604d2008 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aVerified software $etheories, tools, experiments : first IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions /$fBertrand Meyer, Jim Woodcock (eds.) 205 $a1st ed. 2008. 210 $aBerlin $cSpringer$d2008 215 $a1 online resource (XXIII, 546 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v4171 225 1 $aLNCS sublibrary. SL 2, Programming and software engineering 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-69147-2 320 $aIncludes bibliographical references and index. 327 $aVerified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project -- Verification Tools -- Towards a Worldwide Verification Technology -- It Is Time to Mechanize Programming Language Metatheory -- Methods and Tools for Formal Software Engineering -- Guaranteeing Correctness -- The Verified Software Challenge: A Call for a Holistic Approach to Reliability -- A Mini Challenge: Build a Verifiable Filesystem -- A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets -- Some Interdisciplinary Observations about Getting the ?Right? Specification -- Software Engineering Aspects -- Software Verification and Software Engineering a Practitioner?s Perspective -- Decomposing Verification Around End-User Features -- Verifying Object-Oriented Programming -- Automatic Verification of Strongly Dynamic Software Systems -- Reasoning about Object Structures Using Ownership -- Modular Reasoning in Object-Oriented Programming -- Scalable Specification and Reasoning: Challenges for Program Logic -- Programming Language and Methodology Aspects -- Lessons from the JML Project -- The Spec# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification -- Components -- Automated Test Generation and Verified Software -- Dependent Types, Theorem Proving, and Applications for a Verifying Compiler -- Generating Programs Plus Proofs by Refinement -- Static Analysis -- The Verification Grand Challenge and Abstract Interpretation -- WYSINWYX: What You See Is Not What You eXecute -- Implications of a Data Structure Consistency Checking System -- Towards the Integration of Symbolic and Numerical Static Analysis -- Design, Analysis and Tools -- Reliable Software Systems Design: Defect Prevention, Detection, and Containment -- Trends and Challenges in Algorithmic Software Verification -- Model Checking: Back and Forth between Hardware and Software -- Computational Logical Frameworks and Generic Program Analysis Technologies -- Formal Techniques -- A Mechanized Program Verifier -- Verifying Design with Proof Scores -- Integrating Theories and Techniques for Program Modelling, Design and Verification -- Eiffel as a Framework for Verification -- Position Papers -- Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges -- Verified Software: The Real Grand Challenge -- Linking the Meaning of Programs to What the Compiler Can Verify -- Scalable Software Model Checking Using Design for Verification -- Model-Checking Software Using Precise Abstractions -- Toasters, Seat Belts, and Inferring Program Properties -- On the Formal Development of Safety-Critical Software -- Verify Your Runs -- Specified Blocks -- A Case for Specification Validation -- Some Verification Issues at NASA Goddard Space Flight Center -- Performance Validation on Multicore Mobile Devices -- Tool Integration for Reasoned Programming -- Decision Procedures for the Grand Challenge -- The Challenge of Hardware-Software Co-verification -- From the How to the What -- An Overview of Separation Logic -- A Perspective on Program Verification -- Meta-Logical Frameworks and Formal Digital Libraries -- Languages, Ambiguity, and Verification -- The Importance of Non-theorems and Counterexamples in Program Verification -- Regression Verification - A Practical Way to Verify Programs -- Programming with Proofs: Language-Based Approaches to Totally Correct Software -- The Role of Model-Based Testing -- Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification -- Program Verification by Using DISCOVERER -- Constraint Solving and Symbolic Execution. 330 $aThis state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic methods for specifying, building and verifying high-quality software. The book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying compiler". Most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. The papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques. 410 0$aLecture notes in computer science ;$v4171. 410 0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering. 517 3 $aVSTTE 2005 606 $aComputer programs$xVerification$vCongresses 615 0$aComputer programs$xVerification 676 $a005.11 701 $aMeyer-Stabley$b Bertrand$09043 701 $aWoodcock$b Jim$0632110 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768170803321 996 $aVerified software$94198565 997 $aUNINA