Related Books
Language: en
Pages: 441
Pages: 441
Type: BOOK - Published: 2010-03-02 - Publisher: Springer Science & Business Media
Microprocessors increasingly control and monitor our most critical systems, including automobiles, airliners, medical systems, transportation grids, and defense
Language: en
Pages: 599
Pages: 599
Type: BOOK - Published: 2018-10-28 - Publisher: Springer
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Fo
Language: en
Pages: 413
Pages: 413
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 922
Pages: 922
Type: BOOK - Published: 2021-07-17 - Publisher: Springer Nature
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, C
Language: en
Pages: 318
Pages: 318
Type: BOOK - Published: 2013-12-11 - Publisher: Springer
This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held