|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
EBSCO_ocn914229937 |
| 003 |
OCoLC |
| 005 |
20231017213018.0 |
| 006 |
m o d |
| 007 |
cr cnu|||unuuu |
| 008 |
150721s2015 ne ob 101 0 eng d |
| 010 |
|
|
|a 2015938489
|
| 040 |
|
|
|a N$T
|b eng
|e rda
|e pn
|c N$T
|d N$T
|d IDEBK
|d IOSPR
|d OCLCO
|d YDXCP
|d OCLCF
|d OCLCO
|d EBLCP
|d OCLCO
|d DEBSZ
|d K6U
|d AGLDB
|d ICA
|d PIFFA
|d FVL
|d VGM
|d ZCU
|d OCLCQ
|d MERUC
|d OCLCQ
|d U3W
|d COCUF
|d D6H
|d STF
|d OCLCQ
|d VTS
|d ICG
|d VT2
|d OCLCQ
|d WYU
|d G3B
|d TKN
|d DKC
|d OCLCQ
|d M8D
|d OCLCQ
|d UKAHL
|d AJS
|d OCLCO
|d OCLCQ
|d QGK
|d OCLCO
|
| 019 |
|
|
|a 929503930
|a 932319999
|a 961696273
|a 962729966
|a 1055348836
|a 1066527884
|a 1081219713
|a 1228570734
|a 1259188963
|
| 020 |
|
|
|a 9781614994954
|q (electronic bk.)
|
| 020 |
|
|
|a 1614994951
|q (electronic bk.)
|
| 020 |
|
|
|a 1614994943
|
| 020 |
|
|
|a 9781614994947
|
| 020 |
|
|
|z 9781614994947
|
| 029 |
1 |
|
|a DEBBG
|b BV043959473
|
| 029 |
1 |
|
|a DEBBG
|b BV044051827
|
| 029 |
1 |
|
|a DEBSZ
|b 453345018
|
| 029 |
1 |
|
|a DEBSZ
|b 481306536
|
| 029 |
1 |
|
|a NZ1
|b 16241787
|
| 029 |
1 |
|
|a AU@
|b 000056949908
|
| 035 |
|
|
|a (OCoLC)914229937
|z (OCoLC)929503930
|z (OCoLC)932319999
|z (OCoLC)961696273
|z (OCoLC)962729966
|z (OCoLC)1055348836
|z (OCoLC)1066527884
|z (OCoLC)1081219713
|z (OCoLC)1228570734
|z (OCoLC)1259188963
|
| 050 |
|
4 |
|a QA76.76.V47
|
| 072 |
|
7 |
|a COM
|x 013000
|2 bisacsh
|
| 072 |
|
7 |
|a COM
|x 014000
|2 bisacsh
|
| 072 |
|
7 |
|a COM
|x 018000
|2 bisacsh
|
| 072 |
|
7 |
|a COM
|x 067000
|2 bisacsh
|
| 072 |
|
7 |
|a COM
|x 032000
|2 bisacsh
|
| 072 |
|
7 |
|a COM
|x 037000
|2 bisacsh
|
| 072 |
|
7 |
|a COM
|x 052000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.1/4
|2 23
|
| 082 |
0 |
4 |
|a 004.2
|2 23
|
| 049 |
|
|
|a UAMI
|
| 111 |
2 |
|
|a NATO Advanced Study Institute on Dependable Software Systems Engineering
|d (2014 :
|c Marktoberdorf, Germany)
|
| 245 |
1 |
0 |
|a Dependable software systems engineering /
|c edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner.
|
| 264 |
|
1 |
|a Amsterdam :
|b IOS Press,
|c 2015.
|
| 264 |
|
4 |
|c ©2015
|
| 300 |
|
|
|a 1 online resource
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a NATO Science for Peace and Security series D: information and communication security ;
|v vol. 40
|
| 588 |
0 |
|
|a Online resource; title from PDF title page (EBSCO, viewed July 23, 2015).
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 505 |
0 |
|
|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; Mechanised Theory Engineering in Isabelle.
|
| 505 |
8 |
|
|a A Theory of Networks: In the Beginning . . .Subject Index; Author Index.
|
| 546 |
|
|
|a English.
|
| 590 |
|
|
|a eBooks on EBSCOhost
|b EBSCO eBook Subscription Academic Collection - Worldwide
|
| 650 |
|
0 |
|a Computer software
|x Verification
|v Congresses.
|
| 650 |
|
0 |
|a Computer systems
|x Verification
|v Congresses.
|
| 650 |
|
6 |
|a Logiciels
|x Vérification
|v Congrès.
|
| 650 |
|
6 |
|a Systèmes informatiques
|x Vérification
|v Congrès.
|
| 650 |
|
7 |
|a COMPUTERS
|x Computer Literacy.
|2 bisacsh
|
| 650 |
|
7 |
|a COMPUTERS
|x Computer Science.
|2 bisacsh
|
| 650 |
|
7 |
|a COMPUTERS
|x Data Processing.
|2 bisacsh
|
| 650 |
|
7 |
|a COMPUTERS
|x Hardware
|x General.
|2 bisacsh
|
| 650 |
|
7 |
|a COMPUTERS
|x Information Technology.
|2 bisacsh
|
| 650 |
|
7 |
|a COMPUTERS
|x Machine Theory.
|2 bisacsh
|
| 650 |
|
7 |
|a COMPUTERS
|x Reference.
|2 bisacsh
|
| 650 |
|
7 |
|a Computer software
|x Verification
|2 fast
|
| 650 |
|
7 |
|a Computer systems
|x Verification
|2 fast
|
| 655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|
| 700 |
1 |
|
|a Irlbeck, Maximilian,
|e editor.
|
| 700 |
1 |
|
|a Peled, Doron,
|e editor.
|
| 700 |
1 |
|
|a Pretschner, Alexander,
|e editor.
|
| 776 |
0 |
8 |
|i Print version:
|a Irlbeck, M.
|t Dependable Software Systems Engineering.
|d Burke : IOS Press, ©2015
|z 9781614994947
|
| 830 |
|
0 |
|a NATO science for peace and security series.
|n Sub-series D,
|p Information and communication security ;
|v v. 40.
|
| 856 |
4 |
0 |
|u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1030190
|z Texto completo
|
| 938 |
|
|
|a Askews and Holts Library Services
|b ASKH
|n AH37537323
|
| 938 |
|
|
|a EBL - Ebook Library
|b EBLB
|n EBL3563924
|
| 938 |
|
|
|a EBSCOhost
|b EBSC
|n 1030190
|
| 938 |
|
|
|a ProQuest MyiLibrary Digital eBook Collection
|b IDEB
|n cis32107450
|
| 938 |
|
|
|a YBP Library Services
|b YANK
|n 12538103
|
| 994 |
|
|
|a 92
|b IZTAP
|
