Engineering trustworthy software systems: first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
[Cham]
Springer
[2016]
|
| Schriftenreihe: | Lecture Notes in Computer Science
9506 |
| Schlagworte: | |
| Online-Zugang: | HTW01 TUM01 UBR01 UBY01 Volltext Abstract Inhaltsverzeichnis |
| Beschreibung: | 1 Online Ressource (XI, 325 Seiten) Illustrationen |
| ISBN: | 9783319296289 9783319296272 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-29628-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043423012 | ||
| 003 | DE-604 | ||
| 005 | 20160322 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160302s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319296289 |c Online |9 978-3-319-29628-9 | ||
| 020 | |a 9783319296272 |c Print |9 978-3-319-29627-2 | ||
| 024 | 7 | |a 10.1007/978-3-319-29628-9 |2 doi | |
| 035 | |a (OCoLC)946131402 | ||
| 035 | |a (DE-599)BVBBV043423012 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-706 |a DE-91 |a DE-19 |a DE-Aug4 |a DE-898 |a DE-859 |a DE-473 |a DE-29 |a DE-20 |a DE-92 |a DE-384 |a DE-573 |a DE-M347 |a DE-703 |a DE-739 |a DE-634 |a DE-861 |a DE-523 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 111 | 2 | |a International School on Engineering Trustworthy Software Systems |n 1. |d 2014 |c Chongqing |j Verfasser |0 (DE-588)1090897596 |4 aut | |
| 245 | 1 | 0 | |a Engineering trustworthy software systems |b first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures |c edited by Zhiming Liu, Zili Zhang |
| 264 | 1 | |a [Cham] |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a 1 Online Ressource (XI, 325 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v Volume 9506 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Special purpose computers | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Computer simulation | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Simulation and Modeling | |
| 650 | 4 | |a Special Purpose and Application-Based Systems | |
| 650 | 4 | |a Informatik | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Liu, Zhiming |d 1961- |0 (DE-588)129858900 |4 edt | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9506 |w (DE-604)BV014880109 |9 9506 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-29628-9 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840904&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840904&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028840904 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-29628-9 |l HTW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |l TUM01 |u https://doi.org/10.1007/978-3-319-29628-9 |p ZDB-2-LNC |q ZDB-2-LNC_2016 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-29628-9 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |l UBY01 |u https://doi.org/10.1007/978-3-319-29628-9 |p ZDB-2-LNC |q ZDB-2-LNC_2016 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176018011848704 |
|---|---|
| adam_text | ENGINEERING TRUSTWORTHY SOFTWARE SYSTEMS
/
: 2016
ABSTRACT / INHALTSTEXT
THE COURSES OF SETSS 2014 AIM TO IMPROVE THE UNDERSTANDING OF THE
RELATION BETWEEN THEORY AND PRACTICE IN SOFTWARE ENGINEERING, TO
CONTRIBUTE TO NARROWING THE GAP BETWEEN THEM. THIS VOLUME CONTAINS THE
LECTURE NOTES OF THE FIVE COURSES AND MATERIALS OF ONE SEMINAR. THE
COMMON THEMES OF THE COURSES INCLUDE THE DESIGN AND USE OF THEORIES,
TECHNIQUES AND TOOLS FOR SOFTWARE SPECIFICATION AND MODELING, ANALYSIS
AND VERIFICATION. THE COURSES COVER SEQUENTIAL PROGRAMMING, COMPONENT-
AND OBJECT SOFTWARE, HYBRID SYSTEMS AND CYBER-PHYSICAL SYSTEMS WITH
CHALLENGES OF TERMINATION, SECURITY, SAFETY, SECURITY, FAULT-TOLERANCE
AND REAL-TIME REQUIREMENTS. THE TECHNIQUES INCLUDE MODEL CHECKING,
CORRECTNESS BY CONSTRUCTION THROUGH REFINEMENT AND MODEL
TRANSFORMATIONS, SYNTHESIS AND COMPUTER ALGEBRA
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
ENGINEERING TRUSTWORTHY SOFTWARE SYSTEMS
/
: 2016
TABLE OF CONTENTS / INHALTSVERZEICHNIS
(IN-)FORMAL METHODS: THE LOST ART
PROGRAM REFINEMENT, PERFECT SECRECY AND INFORMATION FLOW
THE Z NOTATION: WHENCE THE CAUSE AND WHITHER THE COURSE?
MODEL-DRIVEN DESIGN OF OBJECT AND COMPONENT SYSTEMS
CYBER-PHYSICAL SYSTEMS ENGINEERING
COMBINING FORMAL AND INFORMAL METHODS IN THE DESIGN OF SPACECRAFTS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Liu, Zhiming 1961- |
| author2_role | edt |
| author2_variant | z l zl |
| author_GND | (DE-588)129858900 |
| author_corporate | International School on Engineering Trustworthy Software Systems Chongqing |
| author_corporate_role | aut |
| author_facet | Liu, Zhiming 1961- International School on Engineering Trustworthy Software Systems Chongqing |
| author_sort | International School on Engineering Trustworthy Software Systems Chongqing |
| building | Verbundindex |
| bvnumber | BV043423012 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)946131402 (DE-599)BVBBV043423012 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-29628-9 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03240nmm a2200637zcb4500</leader><controlfield tag="001">BV043423012</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160322 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160302s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319296289</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-29628-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319296272</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-29627-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-29628-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)946131402</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043423012</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International School on Engineering Trustworthy Software Systems</subfield><subfield code="n">1.</subfield><subfield code="d">2014</subfield><subfield code="c">Chongqing</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1090897596</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Engineering trustworthy software systems</subfield><subfield code="b">first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures</subfield><subfield code="c">edited by Zhiming Liu, Zili Zhang</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (XI, 325 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">Volume 9506</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special purpose computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Simulation and Modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special Purpose and Application-Based Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Liu, Zhiming</subfield><subfield code="d">1961-</subfield><subfield code="0">(DE-588)129858900</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9506</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9506</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-29628-9</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840904&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840904&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028840904</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29628-9</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="l">TUM01</subfield><subfield code="u">https://doi.org/10.1007/978-3-319-29628-9</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29628-9</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="l">UBY01</subfield><subfield code="u">https://doi.org/10.1007/978-3-319-29628-9</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043423012 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:25:30Z |
| institution | BVB |
| institution_GND | (DE-588)1090897596 |
| isbn | 9783319296289 9783319296272 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028840904 |
| oclc_num | 946131402 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-861 DE-523 |
| owner_facet | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-861 DE-523 |
| physical | 1 Online Ressource (XI, 325 Seiten) Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2016 ZDB-2-LNC ZDB-2-LNC_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | International School on Engineering Trustworthy Software Systems 1. 2014 Chongqing Verfasser (DE-588)1090897596 aut Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures edited by Zhiming Liu, Zili Zhang [Cham] Springer [2016] © 2016 1 Online Ressource (XI, 325 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science Volume 9506 0302-9743 Computer science Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Simulation and Modeling Special Purpose and Application-Based Systems Informatik (DE-588)1071861417 Konferenzschrift gnd-content Liu, Zhiming 1961- (DE-588)129858900 edt Lecture Notes in Computer Science 9506 (DE-604)BV014880109 9506 https://doi.org/10.1007/978-3-319-29628-9 Verlag URL des Erstveröffentlichers Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840904&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840904&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures Lecture Notes in Computer Science Computer science Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Simulation and Modeling Special Purpose and Application-Based Systems Informatik |
| subject_GND | (DE-588)1071861417 |
| title | Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures |
| title_auth | Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures |
| title_exact_search | Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures |
| title_full | Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures edited by Zhiming Liu, Zili Zhang |
| title_fullStr | Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures edited by Zhiming Liu, Zili Zhang |
| title_full_unstemmed | Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures edited by Zhiming Liu, Zili Zhang |
| title_short | Engineering trustworthy software systems |
| title_sort | engineering trustworthy software systems first international school setss 2014 chongqing china september 8 13 2014 tutorial lectures |
| title_sub | first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures |
| topic | Computer science Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Simulation and Modeling Special Purpose and Application-Based Systems Informatik |
| topic_facet | Computer science Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Simulation and Modeling Special Purpose and Application-Based Systems Informatik Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-29628-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840904&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028840904&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT internationalschoolonengineeringtrustworthysoftwaresystemschongqing engineeringtrustworthysoftwaresystemsfirstinternationalschoolsetss2014chongqingchinaseptember8132014tutoriallectures AT liuzhiming engineeringtrustworthysoftwaresystemsfirstinternationalschoolsetss2014chongqingchinaseptember8132014tutoriallectures |