LEADER 03160nam  2200637Ia 450 
001 9910778084603321
005 20230721021819.0
010   $a1-4416-1613-6
010   $a1-60750-410-3
010   $a600-00-1467-8
035   $a(CKB)1000000000765358
035   $a(EBL)448762
035   $a(OCoLC)430325602
035   $a(SSID)ssj0000337255
035   $a(PQKBManifestationID)12133448
035   $a(PQKBTitleCode)TC0000337255
035   $a(PQKBWorkID)10288428
035   $a(PQKB)10090129
035   $a(MiAaPQ)EBC448762
035   $a(Au-PeEL)EBL448762
035   $a(CaPaEBR)ebr10309220
035   $a(CaONFJC)MIL577658
035   $a(EXLCZ)991000000000765358
100   $a20081229d2009      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 00$aEngineering methods and tools for software safety and security$b[electronic resource] /$f[edited by] Manfred Broy, Wassiou Sitou, Tony Hoare
210   $aWashington, DC $cIOS Press$d2009
215   $a1 online resource (344 p.)
225 0 $aNATO science for peace and security series
300   $aDescription based upon print version of record.
311   $a1-58603-976-8 
320   $aIncludes bibliographical references and index.
327   $aTitle 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 Software
327   $aA 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 Index
330   $aBased 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.
410  0$aNATO Science for Peace and Security Series D: Information and Communication Security, v. 22
606   $aEngineering$xData processing
606   $aEngineering$xMethodology
615  0$aEngineering$xData processing.
615  0$aEngineering$xMethodology.
676   $a005.8
701   $aBroy$b M.$f1949-$01475626
701   $aSitou$b Wassiou$01561213
701   $aHoare$b C. A. R$g(Charles Antony Richard),$f1934-$01482550
712 12$aNATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910778084603321
996   $aEngineering methods and tools for software safety and security$93827736
997   $aUNINA