|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
EBSCO_on1012107245 |
| 003 |
OCoLC |
| 005 |
20231017213018.0 |
| 006 |
m o d |
| 007 |
cr cnu|||unuuu |
| 008 |
171117s2017 ne ob 101 0 eng d |
| 040 |
|
|
|a N$T
|b eng
|e rda
|e pn
|c N$T
|d IOSPR
|d IDEBK
|d EBLCP
|d N$T
|d YDX
|d OCLCF
|d MERUC
|d CUY
|d EZ9
|d INT
|d OCLCQ
|d LVT
|d G3B
|d OCLCQ
|d IGB
|d STF
|d OCLCQ
|d K6U
|d VT2
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|
| 019 |
|
|
|a 1012500698
|a 1249230814
|
| 020 |
|
|
|a 9781614998105
|q (electronic bk.)
|
| 020 |
|
|
|a 1614998108
|q (electronic bk.)
|
| 020 |
|
|
|z 9781614998099
|q (print)
|
| 020 |
|
|
|z 1614998094
|q (print)
|
| 029 |
1 |
|
|a AU@
|b 000062622984
|
| 029 |
1 |
|
|a CHNEW
|b 000981536
|
| 029 |
1 |
|
|a CHVBK
|b 50749511X
|
| 035 |
|
|
|a (OCoLC)1012107245
|z (OCoLC)1012500698
|z (OCoLC)1249230814
|
| 050 |
|
4 |
|a QA76.758
|
| 072 |
|
7 |
|a COM
|x 051230
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.1
|2 23
|
| 049 |
|
|
|a UAMI
|
| 111 |
2 |
|
|a NATO Advanced Studies Institute on Dependable Software Systems Engineering
|d (2016 :
|c Marktoberdorf, Germany)
|
| 245 |
1 |
0 |
|a Dependable software systems engineering /
|c edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann.
|
| 264 |
|
1 |
|a Amsterdam, Netherlands :
|b IOS Press,
|c 2017.
|
| 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, Sub-series D, Information and communication security,
|x 1879-8292 ;
|v vol. 50
|
| 500 |
|
|
|a "Proceedings of the NATO Advanced Studies Institute on Dependable Software Systems Engineering, Marktoberdorf, Germany, 3-12 August 2016."
|
| 500 |
|
|
|a Includes indexes.
|
| 588 |
0 |
|
|a Online resource; title from PDF title page (IOS Press, viewed November 20, 2017).
|
| 505 |
0 |
0 |
|g Machine generated contents note:
|t Reactive Synthesis: Towards Output-Sensitive Algorithms /
|r Felix Klein --
|t Computing the Next-State Function of a Requirements Model /
|r M.M. Archer --
|t From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning /
|r Axel Legay --
|t Viper: A Verification Infrastructure for Permission-Based Reasoning /
|r Alexander J. Summers --
|t Automata Based Validation Techniques /
|r Doron Peled --
|t Defect-Based Testing /
|r Alexander Pretschner --
|t Temporal Logic as Filtering /
|r Radu Grosu --
|t K: A Semantic Framework for Programming Languages and Formal Analysis Tools /
|r Grigore Rosu --
|t Assurance and Assurance Cases /
|r John Rushby.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 590 |
|
|
|a eBooks on EBSCOhost
|b EBSCO eBook Subscription Academic Collection - Worldwide
|
| 650 |
|
0 |
|a Software engineering
|v Congresses.
|
| 650 |
|
0 |
|a Computer software
|x Reliability
|v Congresses.
|
| 650 |
|
6 |
|a Génie logiciel
|v Congrès.
|
| 650 |
|
6 |
|a Logiciels
|x Fiabilité
|v Congrès.
|
| 650 |
|
7 |
|a COMPUTERS
|x Software Development & Engineering
|x General.
|2 bisacsh
|
| 650 |
|
7 |
|a Computer software
|x Reliability
|2 fast
|
| 650 |
|
7 |
|a Software engineering
|2 fast
|
| 655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|
| 700 |
1 |
|
|a Pretschner, Alexander,
|e editor.
|
| 700 |
1 |
|
|a Peled, Doron A.,
|d 1962-
|e editor.
|
| 700 |
1 |
|
|a Hutzelmann, Thomas,
|e editor.
|
| 776 |
0 |
8 |
|i Print version:
|z 1614998094
|z 9781614998099
|w (OCoLC)1011111575
|
| 830 |
|
0 |
|a NATO science for peace and security series.
|n Sub-series D,
|p Information and communication security ;
|v v. 50.
|
| 856 |
4 |
0 |
|u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1632351
|z Texto completo
|
| 938 |
|
|
|a EBL - Ebook Library
|b EBLB
|n EBL5150839
|
| 938 |
|
|
|a EBSCOhost
|b EBSC
|n 1632351
|
| 938 |
|
|
|a ProQuest MyiLibrary Digital eBook Collection
|b IDEB
|n cis39307012
|
| 938 |
|
|
|a YBP Library Services
|b YANK
|n 14992121
|
| 994 |
|
|
|a 92
|b IZTAP
|
