K. Rustan M. Leino – författare
Visar alla böcker från författaren K. Rustan M. Leino. Handla med fri frakt och snabb leverans.
7 produkter
Program Proofs
Av K. Rustan M. Leino, Kaleb Leino
Häftad, 2023
893 kr
Lägg i varukorg
This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs shows students what it means to write specifications for programs, what it means for programs to …
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
Av Alexandra Silva, K. Rustan M. Leino
Häftad, 2021
455 kr
Lägg i varukorg
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed …
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
Av Alexandra Silva, K. Rustan M. Leino
Häftad, 2021
455 kr
Lägg i varukorg
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed …
Tools and Algorithms for the Construction and Analysis of Systems
17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
Av Parosh Aziz Abdulla, K. Rustan M. Leino
Häftad, 2011
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of …
Tools and Algorithms for the Construction and Analysis of Systems
17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
Av K. Rustan M. Leino, Parosh Aziz Abdulla
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of …
Verification, Model Checking, and Abstract Interpretation
17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Av Barbara Jobstmann, K. Rustan M. Leino
Häftad, 2015
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th InternationalConference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully …
Verification, Model Checking, and Abstract Interpretation
17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Av K. Rustan M. Leino, Barbara Jobstmann
E-bok, 2015
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully …
