Related Books

Concurrency, Security, and Puzzles
Language: en
Pages: 336

Concurrency, Security, and Puzzles

Authors: Thomas Gibson-Robinson
Categories: Computers
Type: BOOK - Published: 2016-12-15 - Publisher: Springer

DOWNLOAD EBOOK

This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Bro
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Language: en
Pages: 485

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

Authors: Mário S. Alvim
Categories: Computers
Type: BOOK - Published: 2019-11-04 - Publisher: Springer Nature

DOWNLOAD EBOOK

​​This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday. It features 6 laudations, which are available in the
Dependable Software Engineering. Theories, Tools, and Applications
Language: en
Pages: 249

Dependable Software Engineering. Theories, Tools, and Applications

Authors: Wei Dong
Categories: Computers
Type: BOOK - Published: 2022-12-10 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022
Programming Languages and Systems
Language: en
Pages: 462

Programming Languages and Systems

Authors: Stephanie Weirich
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Computer Aided Verification
Language: en
Pages: 697

Computer Aided Verification

Authors: Shuvendu K. Lahiri
Categories: Computers
Type: BOOK - Published: 2020-07-15 - Publisher: Springer Nature

DOWNLOAD EBOOK

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CA