[Lecture Notes in Computer Science] Form
β Bernardo, Marco; Cimatti, Alessandro
π Library
π
2006
π Springer Berlin Heidelberg
β¦ LIBER β¦
π
[Lecture Notes in Computer Science] SOFSEM 2001: Theory and Practice of Informatics Volume 2234 || Formal Verification Methods for Industrial Hardware Design
β Scribed by Pacholski, Leszek; RuΕΎiΔka, Peter
- Publisher
- Springer Berlin Heidelberg
- Year
- 2001
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
SOFSEM 2024: Theory and Practice of Comp
β Henning Fernau (editor), Serge Gaspers (editor), Ralf Klasing (editor)
π Library
π
2024
π Springer
π English
<span>This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. <br>The 33 full papers presented in this book were carefully reviewed and selected from 81 submission
SOFSEM 2020: Theory and Practice of Comp
π
SOFSEM 2020: Theory and Practice of Computer Science (Lecture Notes in Computer Science, 12011)
β Alexander Chatzigeorgiou (editor), Riccardo Dondi (editor), Herodotos Herodotou
π Library
π
2020
π Springer
π English
<p><span>This book constitutes the refereed proceedings of the 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, held in Limassol, Cyprus, in January 2020. <br> The 40 full papers presented together with 17 short papers and 3 invited papers were care
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
SOFSEM'99: Theory and Practice of Inform
β Jan Pavelka (editor), Gerard Tel (editor), Miroslav Bartosek (editor)
π Library
π
1999
π Springer
π English
<span>This year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time. Although born as a local Czechoslovak event 25 years ago SOFSEM did not miss the opportunity oe red in 1989 by the newly found freedom in our part of Europe and has evolved into a full-?edged int
Software Verification and Formal Methods
β Omri Isac (editor), Radoslav Ivanov (editor), Guy Katz (editor), Nina Narodytska
π Library
π
2022
π Springer
π English
<span>This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in J