Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /: theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. (2017)

• Record Type: Book
• Other Titles: SETTA 2017
• Further Information: Note: Edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang.
• Editors: Larsen, K. G (Kim G.), 1957-; Sokolsky, Oleg; Wang, Ji
• Other Names: SETTA (Symposium), 3rd
• Contents: Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource (xviii, 351 pages), illustrations
• Subjects: 005.1; Computer science; Software engineering -- Congresses; Software engineering; Computer Science; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Simulation and Modeling; Probability and Statistics in Computer Science; Computers -- Programming -- General; Mathematics -- Logic; Computers -- Computer Simulation; Computers -- Mathematical & Statistical Software; Computer programming / software development; Mathematical theory of computation; 3D graphics & modelling; Maths for computer scientists; Software engineering; Logic design; Computer simulation; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319694832; 3319694839
• Related ISBNs: 9783319694825; 3319694820
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed October 30, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.