Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, proceedings / / Shengchao Qin, Jim Woodcock, Wenhui Zhang (editors)

• Record Nr.: UNINA9910510561103321
• Pubbl/distr/stampa: Cham, Switzerland : , : Springer, , [2021]; ©2021
• ISBN: 3-030-91265-5
• Descrizione fisica: 1 online resource (327 pages)
• Collana: Lecture notes in computer science, programming and software engineering ; ; Volume 13071
• Disciplina: 005.1
• Soggetti: Software engineering; Formal methods (Computer science)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references and index.