Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Price: 83.32 USD
Availability: InStock
ISBN: 9783031773822

E-book

US$83.32 excl. VAT

You and your friend both get points.

Download immediately after payment, unlimited re-downloads from your account.

By starting the download you agree that your right of withdrawal ends, because the content is delivered at once.

About this title

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6–8, 2024.

The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The topics covered range from formal modelling, specification, and design in software development over safety-critical, fault-tolerant, and secure systems to real-time, hybrid, and cyber-physical systems and quantum computing.

Details

Publisher: Springer Nature Switzerland
Language: EN
Format: PDF
Published: 2024-11-25
ISBN: 9783031773822
File protection: Watermark — opens on any reader, no extra account needed