LEADER 02759nam  2200601   450 
001 9910826845203321
005 20230807221125.0
010   $a1-61499-495-1
035   $a(CKB)3710000000449174
035   $a(EBL)3563924
035   $a(SSID)ssj0001560649
035   $a(PQKBManifestationID)16193224
035   $a(PQKBTitleCode)TC0001560649
035   $a(PQKBWorkID)14825270
035   $a(PQKB)10304834
035   $a(MiAaPQ)EBC3563924
035   $a(Au-PeEL)EBL3563924
035   $a(CaPaEBR)ebr11079843
035   $a(CaONFJC)MIL814516
035   $a(OCoLC)932319999
035   $a(EXLCZ)993710000000449174
100   $a20150728h20152015  uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 00$aDependable software systems engineering /$fedited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner
210  1$aAmsterdam, Netherlands :$cIOS Press,$d2015.
210  4$dİ2015
215   $a1 online resource (320 p.)
225 1 $aNATO Science for Peace and Security Series - D: Information and Communication Security,$x1879-8292 ;$vVolume 40
300   $aDescription based upon print version of record.
311   $a1-61499-494-3 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $a""DEPENDABLE SOFTWARE SYSTEMS ENGINEERING""; ""Preface""; ""Contents""; ""Syntax-Guided Synthesis""; ""Deconstructing Dynamic Symbolic Execution""; ""From Actions, Transactions, and Processes to Services""; ""System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems""; ""Generating Process Models in Multi-View Environments""; ""Safety and Dependability""; ""Evolving Software Ecosystems A Historical and Ecological Perspective""; ""Framing  the Frame Problem""; ""From Verification to Synthesis""; ""Defect-Based Testing""
327   $a""Mechanised Theory Engineering in Isabelle""""A Theory of Networks: In the Beginning . . .""; ""Subject Index""; ""Author Index""
410  0$aNATO science for peace and security series.$nSub-series D,$pInformation and communication security ;$vVolume 40.
606   $aComputer software$xVerification$vCongresses
606   $aComputer systems$xVerification$vCongresses
615  0$aComputer software$xVerification
615  0$aComputer systems$xVerification
676   $a005.14
702   $aIrlbeck$b Maximilian
702   $aPeled$b Doron
702   $aPretschner$b Alexander
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910826845203321
996   $aDependable software systems engineering$94021909
997   $aUNINA