Anmeldung erfolgt in Kürze...
Details werden geladen...
Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings (Programming and Software Engineering) ...
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions. The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems. Read more
ISBN10
9783319999326
ISBN13
978-3319999326
Edition
1st ed. 2018
Language
English
Publisher
Springer
Dimensions
6.1 x 0.49 x 9.25 inches
Item Weight
10.9 ounces
Print length
215 pages
Publication date
August 26, 2018
22,00 $
Ähnliche Seiten
String Processing and Information Retrieval: 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings (Theoretical Computer Science and General Issues)
https://www.tanzerei.de/listing/string-processing-and-information-retrieval-25th-international-symposium-spire-2018-lima-peru-october-9-11-2018-proceedings-theoretical-computer-science-and-general-issues?srsltid=231976714
Computer Security: 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II (Security and Cryptology)
https://www.zeltverleih-loenne.de/listing/computer-security-23rd-european-symposium-on-research-in-computer-security-esorics-2018-barcelona-spain-september-3-7-2018-proceedings-part-ii-security-and-cryptology?srsltid=232052291Web Information Systems Engineering – WISE 2016: 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part I (Information ... Applications, incl. Internet/Web, and HCI)
https://www.zeltverleih-loenne.de/listing/web-information-systems-engineering-wise-2016-17th-international-conference-shanghai-china-november-8-10-2016-proceedings-part-i-information-applications-incl-internetweb-and-hci?srsltid=233372768
Computer Science – Theory and Applications: 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings ... Notes in Computer Science Book 11532...
https://www.go-gadget.de/listing/computer-science-theory-and-applications-14th-international-computer-science-symposium-in-russia-csr-2019-novosibirsk-russia-july-15-2019-proceedings-notes-in-computer-science-book-11532?srsltid=231994695
Advances in Information and Computer Security: 15th International Workshop on Security, IWSEC 2020, Fukui, Japan, September 2–4, 2020, Proceedings (Security and Cryptology)
https://www.montesansalvatore.ch/products/advances-in-information-and-computer-security-15th-international-workshop-on-security-iwsec-2020-fukui-japan-september-24-2020-proceedings-security-and-cryptology/231976519/