00861nam0-22003251i-450-9900031850304033210-521-22608-2000318503FED01000318503(Aleph)000318503FED0100031850320000920d1981----km-y0itay50------baitaIT<<The >>Rites of RulersRitual in Industrial Society - The Soviet CaseChristel Lane.1. ed.CambridgeCambridge University Press1981.IX, 308 p.21 cm1320013560F/1.7Lane,ChristelITUNINARICAUNIMARCBK990003185030403321F/1.7 LAN/N.A.7998SESSESRites of Rulers452326UNINAING0103036nam 2200613Ia 450 991045551260332120200520144314.01-4416-1613-61-60750-410-3600-00-1467-8(CKB)1000000000765358(EBL)448762(OCoLC)430325602(SSID)ssj0000337255(PQKBManifestationID)12133448(PQKBTitleCode)TC0000337255(PQKBWorkID)10288428(PQKB)10090129(MiAaPQ)EBC448762(Au-PeEL)EBL448762(CaPaEBR)ebr10309220(CaONFJC)MIL577658(EXLCZ)99100000000076535820081229d2009 uy 0engur|n|---|||||txtccrEngineering methods and tools for software safety and security[electronic resource] /[edited by] Manfred Broy, Wassiou Sitou, Tony HoareWashington, DC IOS Press20091 online resource (344 p.)NATO science for peace and security seriesDescription based upon print version of record.1-58603-976-8 Includes bibliographical references and index.Title page; Preface; Contents; A Mechanical Press Controller Development; Synchronous Techniques for Software and Hardware Embedded Systems; Relating Time and Causality in Interactive Distributed Systems; Incremental Design of Distributed Systems with Event-B; Principles of Program Termination - Notes for the Marktoberdorf Summer School; Graphical Models of Separation Logic; Verification, Performance Analysis and Controller Synthesis for Real-Time Systems; Specification and Verification of Object-Oriented SoftwareA Mechanically Checked Proof of the Correctness of the Boyer-Moore Fast String Searching AlgorithmAn Introduction to Separation Logic; Unifying Theories of Undefinedness; Subject Index; Author IndexBased on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial practice.NATO Science for Peace and Security Series D: Information and Communication Security, v. 22EngineeringData processingEngineeringMethodologyElectronic books.EngineeringData processing.EngineeringMethodology.005.8NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and SecurityMiAaPQMiAaPQMiAaPQBOOK9910455512603321Engineering methods and tools for software safety and security2222305UNINA