rustan-raxmanaliev
Program Proofs
K. Rustan M. Leino, Kaleb Leino
۴۹٬۰۰۰ تومان
Program Proofs
K. Rustan M. Leino, Kaleb Leino
۴۹٬۰۰۰ تومان
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20{u2013}23, 2021, Proceedings, Part II
Alexandra Silva,K. Rustan M. Leino (eds.)
۴۹٬۰۰۰ تومان
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc
Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
۴۹٬۰۰۰ تومان
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc
Parosh Aziz Abdulla (ed.), K. Rustan M. Leino (ed.)
۴۹٬۰۰۰ تومان
Call and Response
Rustan, Sara
۴۹٬۰۰۰ تومان
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science (6617))
K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)
۴۹٬۰۰۰ تومان
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc
Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
۴۹٬۰۰۰ تومان
The Dracans: A Matter of Choice
Rustan, Sara
۴۹٬۰۰۰ تومان
The Sirens: Found
Rustan, Sara
۴۹٬۰۰۰ تومان
Program Proofs
K. Rustan M. Leino, Kaleb Leino
۴۹٬۰۰۰ تومان
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science (6617))
K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)
۴۹٬۰۰۰ تومان
The Cyborg Recuritment Project
Rustan, Sara
۴۹٬۰۰۰ تومان
The Cyborg Recruitment Project
Rustan, Sara
۴۹٬۰۰۰ تومان
Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings ... Notes in Computer Science Book 9583)
Barbara Jobstmann; K. Rustan M Leino; International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI
۴۹٬۰۰۰ تومان
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20{u2013}23, 2021, Proceedings, Part I
Alexandra Silva, K. Rustan M. Leino, (eds.)
۴۹٬۰۰۰ تومان
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc
Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
۴۹٬۰۰۰ تومان
Mining and rock construction technology desk reference : rock mechanics, drilling and blasting : including acronyms, symbols, units, and related terms from other disciplines
Rustan, Agne (editor);Cunningham, Claude (editor);Fourney, William (editor);Spathis, Alex (editor);Simha, K.R.Y. (editor)
۴۹٬۰۰۰ تومان
The Dracans: A Matter of Choice
Rustan, Sara
۴۹٬۰۰۰ تومان