Items related to Engineering Trustworthy Software Systems: First Internationa...
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures: 9506 (Lecture Notes in Computer Science, 9506) - Softcover
Synopsis
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."synopsis" may belong to another edition of this title.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
Search results for Engineering Trustworthy Software Systems: First Internationa...
Stock Image
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (Programming and Software Engineering)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020092726
Quantity: Over 20 available
Seller Image
Engineering Trustworthy Software Systems : First International School, Setss 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 25463122-n
Quantity: Over 20 available
Stock Image
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (Programming and Software Engineering)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783319296272
Quantity: 2 available
Seller Image
Engineering Trustworthy Software Systems : First International School, Setss 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 25463122
Quantity: Over 20 available
Stock Image
Engineering Trustworthy Software Systems (Paperback)
Published by
Springer International Publishing AG, Cham, 2016
ISBN 10: 3319296272
ISBN 13: 9783319296272
New
Paperback
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783319296272
Quantity: 1 available
Stock Image
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319296272_new
Quantity: Over 20 available
Stock Image
Engineering Trustworthy Software Systems : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783319296272
Quantity: 10 available
Seller Image
Engineering Trustworthy Software Systems : First International School, Setss 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 25463122-n
Quantity: Over 20 available
Seller Image
Engineering Trustworthy Software Systems
Published by
Springer International Publishing Mrz 2016, 2016
ISBN 10: 3319296272
ISBN 13: 9783319296272
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783319296272
Quantity: 2 available
Stock Image
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (Lecture Notes in Computer Science (9506))
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 336. Seller Inventory # 26378862397
Quantity: 4 available