Dependable Software Engineering. Theories, Tools, and Applications (häftad)
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
201
Utgivningsdatum
2018-08-26
Upplaga
1st ed. 2018
Förlag
Springer International Publishing AG
Medarbetare
Feng, Xinyu (ed.), Müller-Olm, Markus (ed.), Yang, Zijiang (ed.)
Illustratör/Fotograf
Bibliographie
Illustrationer
55 Illustrations, black and white; XIV, 201 p. 55 illus.
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783319999326
Dependable Software Engineering. Theories, Tools, and Applications (häftad)

Dependable Software Engineering. Theories, Tools, and Applications

4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Häftad Engelska, 2018-08-26
599
Skickas inom 3-6 vardagar.
Fri frakt inom Sverige för privatpersoner.
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.
Visa hela texten

Passar bra ihop

  1. Dependable Software Engineering. Theories, Tools, and Applications
  2. +
  3. Verification, Model Checking, and Abstract Interpretation

De som köpt den här boken har ofta också köpt Verification, Model Checking, and Abstract Inte... av Neil D Jones, Markus Muller-Olm (häftad).

Köp båda 2 för 1478 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Bloggat om Dependable Software Engineering. Theories...

Innehållsförteckning

Refinement.- Verification.- Timing and Scheduling.