Items related to Dependable Software Engineering. Theories, Tools, and...
Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, SETTA 2024, Hong Kong, China, November 26–28, 2024, ... (Lecture Notes in Computer Science, 15469) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2024, held in Hong Kong, China, during November 26–28, 2024.
The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. The purpose of the SETTA symposium series is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering.
"synopsis" may belong to another edition of this title.
Search results for Dependable Software Engineering. Theories, Tools, and...
Stock Image
Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9789819606016_new
Quantity: Over 20 available
Stock Image
Dependable Software Engineering. Theories, Tools, and Applications (Paperback)
Published by
Springer Nature Switzerland AG, Cham, 2024
ISBN 10: 9819606012
ISBN 13: 9789819606016
New
Paperback
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2024, held in Hong Kong, China, during November 2628, 2024.The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. The purpose of the SETTA symposium series is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering. This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. The purpose of the SETTA symposium series is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9789819606016
Quantity: 1 available
Seller Image
Dependable Software Engineering. Theories, Tools, and Applications
Published by
Springer Nature Singapore, Springer Nature Singapore Nov 2024, 2024
ISBN 10: 9819606012
ISBN 13: 9789819606016
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 book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2024, held in Hong Kong, China, during November 26-28, 2024.The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. The purpose of the SETTA symposium series is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering. 440 pp. Englisch. Seller Inventory # 9789819606016
Quantity: 2 available
Stock Image
UNKNOWN
ISBN 10: 9819606012
ISBN 13: 9789819606016
New
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 49304225-n
Quantity: 15 available
Stock Image
Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings (Lecture Notes in Computer Science)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9789819606016
Quantity: Over 20 available
Seller Image
Dependable Software Engineering. Theories, Tools, and Applications
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Seller Inventory # 1929864577
Quantity: Over 20 available
Seller Image
Dependable Software Engineering. Theories, Tools, and Applications : 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings
Published by
Springer Nature Singapore, Springer Nature Singapore, 2024
ISBN 10: 9819606012
ISBN 13: 9789819606016
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2024, held in Hong Kong, China, during November 26-28, 2024.The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. The purpose of the SETTA symposium series is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering. Seller Inventory # 9789819606016
Quantity: 1 available
Stock Image
UNKNOWN
ISBN 10: 9819606012
ISBN 13: 9789819606016
Used
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 49304225
Quantity: 15 available
Stock Image
Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, . (Lecture Notes in Computer Science, 15469)
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # V9789819606016
Quantity: 15 available
Seller Image
Dependable Software Engineering. Theories, Tools, and Applications
Published by
Springer Nature Singapore, Springer Nature Singapore Nov 2024, 2024
ISBN 10: 9819606012
ISBN 13: 9789819606016
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2024, held in Hong Kong, China, during November 26¿28, 2024.The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. The purpose of the SETTA symposium series is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch. Seller Inventory # 9789819606016
Quantity: 2 available