Verified Software. Theories, Tools and Experiments: 16th International Conference, Vstte 2024, Prague, Czech Republic, October 14-15, 2024, Revised Se
暫譯: 驗證軟體：理論、工具與實驗，第16屆國際會議 VSTTE 2024，捷克共和國布拉格，2024年10月14-15日，修訂版

Name: Verified Software. Theories, Tools and Experiments: 16th International Conference, Vstte 2024, Prague, Czech Republic, October 14-15, 2024, Revised Se
Price: 2062 TWD
Availability: OnlineOnly
Author: Protzenko, Jonathan, Raad, Azalea
ISBN: 3031866940

Protzenko, Jonathan, Raad, Azalea

Verified Software. Theories, Tools and Experiments: 16th International Conference, Vstte 2024, Prague, Czech Republic, October 14-15, 2024, Revised Se

出版商: Springer
出版日期: 2025-05-03
售價: $2,170
貴賓價: 9.5 折 $2,062
語言: 英文
頁數: 121
裝訂: Quality Paper - also called trade paper
ISBN: 3031866940
ISBN-13: 9783031866944
相關分類: 軟體工程

海外代購書籍(需單獨結帳)

商品描述

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14-15, 2024.

The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification.