Software Engineering for Resilient Systems (Record no. 53903)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02209nam a22004575i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-319-12241-0 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20200421111202.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 141008s2014 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783319122410 |
| -- | 978-3-319-12241-0 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 004 |
| 245 10 - TITLE STATEMENT | |
| Title | Software Engineering for Resilient Systems |
| Sub Title | 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings / |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | X, 185 p. 59 illus. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Remark 2 | Design of resilient systems -- Analysis of resilience -- Verification and validation -- Monitoring. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Majzik, Istv�an. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Vieira, Marco. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/978-3-319-12241-0 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer International Publishing : |
| -- | Imprint: Springer, |
| -- | 2014. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer science. |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer Science, general. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 0302-9743 ; |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
No items available.