K Rustan M Leino – författare & böcker | Akademibokhandeln

K. Rustan M. Leino – författare

Visar alla böcker från författaren K. Rustan M. Leino.

5 produkter

Kategorier

5 produkter

Del 12759
Del 12759 - Lecture Notes in Computer Science
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
AvAlexandra Silva,K. Rustan M. Leino
Häftad, Engelska, 2021
599 kr
Skickas inom 10-15 vardagar
Del 12760
Del 12760 - Lecture Notes in Computer Science
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
AvAlexandra Silva,K. Rustan M. Leino
Häftad, Engelska, 2021
599 kr
Skickas inom 10-15 vardagar
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
AvParosh Aziz Abdulla,K. Rustan M. Leino
Häftad, Engelska, 2011
739 kr
Skickas inom 10-15 vardagar
Verification, Model Checking, and Abstract Interpretation
17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
AvBarbara Jobstmann,K. Rustan M. Leino
Häftad, Engelska, 2015
739 kr
Skickas inom 10-15 vardagar
Program Proofs
AvK. Rustan M. Leino,Kaleb Leino
Häftad, Engelska, 2023
1 139 kr
Tillfälligt slut