Articoli correlati a Dependable Software Engineering. Theories, Tools, and...
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings: 11951 - Brossura
Sinossi
This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.
The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2019
- ISBN 10 303035539X
- ISBN 13 9783030355395
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero edizione1
- Numero di pagine156
- RedattoreGuan Nan, Katoen Joost-Pieter, Sun Jun
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Dependable Software Engineering. Theories, Tools, and...
Immagini fornite dal venditore
Dependable Software Engineering. Theories, Tools, and Applications
Editore:
Springer International Publishing, 2019
ISBN 10: 303035539X
ISBN 13: 9783030355395
Nuovo
Brossura
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. The 8 full papers presented . Codice articolo 335811455
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Dependable Software Engineering. Theories, Tools, and Applications
Editore:
Springer International Publishing Nov 2019, 2019
ISBN 10: 303035539X
ISBN 13: 9783030355395
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories,Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formalmethods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities. 156 pp. Englisch. Codice articolo 9783030355395
Quantità: 2 disponibili
Immagini fornite dal venditore
Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27¿29, 2019, Proceedings
ISBN 10: 303035539X
ISBN 13: 9783030355395
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories,Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formalmethods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities. Codice articolo 9783030355395
Quantità: 1 disponibili
Immagini fornite dal venditore
Dependable Software Engineering. Theories, Tools, and Applications
ISBN 10: 303035539X
ISBN 13: 9783030355395
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch. Codice articolo 9783030355395
Quantità: 2 disponibili
Immagini fornite dal venditore
Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, Setta 2019, Shanghai, China, November 27?29, 2019, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 38681426-n
Quantità: Più di 20 disponibili
Foto dell'editore
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783030355395_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, Setta 2019, Shanghai, China, November 27â"29, 2019, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 38681426-n
Quantità: Più di 20 disponibili
Foto dell'editore
Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, P
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783030355395
Quantità: 10 disponibili
Immagini fornite dal venditore
Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, Setta 2019, Shanghai, China, November 27?29, 2019, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 38681426
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, Setta 2019, Shanghai, China, November 27?29, 2019, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 38681426
Quantità: Più di 20 disponibili