Leveraging Applications of Formal Method
โ Tiziana Margaria;Bernhard Steffen
๐ Library
๐ Springer International Publishing
๐ English
โฆ LIBER โฆ
๐
Leveraging applications of formal methods, verification and validation
โ Scribed by Tiziana Margaria-Steffen; Bernhard Steffen
- Publisher
- Springer
- Year
- 2008
- Tongue
- English
- Leaves
- 881
- Series
- Communications in computer and information science, no. 17
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Leveraging Applications of Formal Method
โ Tiziana Margaria (editor), Bernhard Steffen (editor)
๐ Library
๐
2021
๐ Springer
๐ English
<p>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
Leveraging Applications of Formal Method
โ Tiziana Margaria (editor), Bernhard Steffen (editor)
๐ Library
๐
2021
๐ Springer
๐ English
<p><span>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: Applic
Leveraging Applications of Formal Method
โ Tiziana Margaria, Bernhard Steffen
๐ Library
๐
2020
๐ Springer International Publishing;Springer
๐ English
<p><p>The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20โ30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to
Leveraging Applications of Formal Method
โ Tiziana Margaria (editor), Bernhard Steffen (editor)
๐ Library
๐
2021
๐ Springer
๐ English
<p><span>The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20โ30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due
Leveraging Applications of Formal Method
โ Tiziana Margaria, Bernhard Steffen
๐ Library
๐
2020
๐ Springer International Publishing;Springer
๐ English
<p><p>The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20โ30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to