Leveraging Applications of Formal Methods, Verification and Validation (10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings)

Name: Leveraging Applications of Formal Methods, Verification and Validation (10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings)
ISBN: 9783030891602

Penulis: Tiada maklumat
Penerbit: Springer Nature B.V.
Diterbitkan: 20211016
ISBN: 9783030891602
Kawasan pendaftaran ISBN: Kawasan berbahasa Jerman (ISBN 978-3)

교보문고

YES24

알라딘

Statground mungkin menerima komisen apabila anda membeli melalui pautan afiliasi.

Huraian

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.