Dependable Software Engineering. Theories, Tools, and Applications :9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings - Lecture Notes in Computer Science

Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications :9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings - Lecture Notes in Computer Science

(Author) (Author) (Author)
paperback
Published: 15 December, 2023
Standard worldwide delivery by Tue, July 21 - Thu, July 30
Order within 0
Condition: NEW
$75.80
RRP $93.48
You save $17.68 (19%)
Price includes shipping
Available 20+ in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Holger Hermanns

View All Books by Holger Hermanns
Validation of Stochastic Systems
Validation of Stochastic Systems
Holger Hermanns
$71.75
New
Add to basket
Interactive Markov Chains
Interactive Markov Chains
Holger Hermanns
$69.76
New
Add to basket
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Holger Hermanns
$61.50
New
Add to basket
Lectures on Formal Methods and Performance Analysis
Lectures on Formal Methods and Performance Analysis
Holger Hermanns
$62.08
New
Add to basket
Measurement, Modelling and Evaluation of Computing Systems
Measurement, Modelling and Evaluation of Computing Systems
Holger Hermanns
$61.60
New
Add to basket
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Holger Hermanns
$61.88
New
Add to basket
CONCUR 2006 - Concurrency Theory
CONCUR 2006 - Concurrency Theory
Holger Hermanns
$130.11
New
Add to basket
Computer Aided Verification
Computer Aided Verification
Holger Hermanns
$73.22
New
Add to basket

Description

This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023.

The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

 


See more

More Details

Type Book
ISBN13 9789819986637
Number Of Pages 436
Item Weight 1000 g
Publisher / Reseller Springer Verlag, Singapore
Format paperback
Edition 1st ed. 2024
See More +