Articoli correlati a Engineering Trustworthy Software Systems: First Internationa...
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures: 9506 - Brossura
Sinossi
This volume contains the lecture notes of the five courses and one seminar given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in September 2014 at Southwest University in Chongqing, China.
The material is useful for postgraduate students, researchers, academics and industrial engineers who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems. 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.Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
The coursesof SETSS 2014 aim to improve the understanding of the relation between theoryand practice in software engineering, to contribute to narrowing the gapbetween them. This volume contains the lecture notes of the five courses andmaterials of one seminar. The common themes of the courses include the designand 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 challengesof termination, security, safety, security, fault-tolerance and real-time requirements.The techniques include model checking, correctness by construction through refinementand model transformations, synthesis and computer algebra.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2016
- ISBN 10 3319296272
- ISBN 13 9783319296272
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero edizione1
- Numero di pagine340
- RedattoreLiu Zhiming, Zhang Zili
- 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 Engineering Trustworthy Software Systems: First Internationa...
Immagini fornite dal venditore
Engineering Trustworthy Software Systems
Editore:
Springer International Publishing, 2016
ISBN 10: 3319296272
ISBN 13: 9783319296272
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. Covers the state of the art and research insights onengineering trustworthy software systems A detailed preface, introducing the chapters, is included inthe front matter and is freely available for perusal on SpringerLink . Codice articolo 112109334
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Engineering Trustworthy Software Systems
Editore:
Springer International Publishing Mrz 2016, 2016
ISBN 10: 3319296272
ISBN 13: 9783319296272
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 volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.The material is useful for postgraduate students,researchers, academics and industrial engineers who are interested in thetheory and practice of methods and tools for the design and programming oftrustworthy software systems. The common themes of the courses include thedesign and use of theories, techniques and tools for software specification andmodeling, analysis and verification. The courses cover sequential programming,component- and object software, hybrid systems and cyber-physical systems withchallenges of termination, security, safety, security, fault-tolerance andreal-time requirements. The techniques include model checking, correctness byconstruction through refinement and model transformations, synthesis andcomputer algebra. 340 pp. Englisch. Codice articolo 9783319296272
Quantità: 2 disponibili
Immagini fornite dal venditore
Engineering Trustworthy Software Systems : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Editore:
Springer International Publishing, 2016
ISBN 10: 3319296272
ISBN 13: 9783319296272
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 volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.The material is useful for postgraduate students,researchers, academics and industrial engineers who are interested in thetheory and practice of methods and tools for the design and programming oftrustworthy software systems. The common themes of the courses include thedesign and use of theories, techniques and tools for software specification andmodeling, analysis and verification. The courses cover sequential programming,component- and object software, hybrid systems and cyber-physical systems withchallenges of termination, security, safety, security, fault-tolerance andreal-time requirements. The techniques include model checking, correctness byconstruction through refinement and model transformations, synthesis andcomputer algebra. Codice articolo 9783319296272
Quantità: 1 disponibili
Immagini fornite dal venditore
Engineering Trustworthy Software Systems
ISBN 10: 3319296272
ISBN 13: 9783319296272
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in ChongqingChina.The material is useful for postgraduate studentsresearchers, academics and industrial engineers who are interested in thetheory and practice of methods and tools for the design and programming oftrustworthy software systems. The common themes of the courses include thedesign and use of theories, techniques and tools for software specification andmodeling, analysis and verification. The courses cover sequential programmingcomponent- and object software, hybrid systems and cyber-physical systems withchallenges of termination, security, safety, security, fault-tolerance andreal-time requirements. The techniques include model checking, correctness byconstruction through refinement and model transformations, synthesis andcomputer algebra.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch. Codice articolo 9783319296272
Quantità: 2 disponibili
Immagini fornite dal venditore
Engineering Trustworthy Software Systems : First International School, Setss 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 25463122-n
Quantità: Più di 20 disponibili
Foto dell'editore
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783319296272_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Engineering Trustworthy Software Systems : First International School, Setss 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 25463122-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Engineering Trustworthy Software Systems : First International School, Setss 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 25463122
Quantità: Più di 20 disponibili
Foto dell'editore
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783319296272
Quantità: 10 disponibili
Immagini fornite dal venditore
Engineering Trustworthy Software Systems : First International School, Setss 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 25463122
Quantità: Più di 20 disponibili