Languages
Subject
Format
Clear Availabity
Authors

Search result

Ron van der Meyden, Leendert van der Torre, Ro van der Meyden, Ron van der Meyden, van der Torre, van der Torre... - Deontic Logic in Computer Science
Ron van der Meyden, Leendert van der Torre, Ro van der Meyden, Ron van der Meyden, van der Torre, van der Torre... Deontic Logic in Computer Science English 01.01.2008 Paperback / Softback Fr. 97.00 6-7 weeks
Edward A Lee, Edward A. Lee, Mohammad Reza Mousavi, Mohammad Reza Mousavi, Carolyn Talcott - Rebeca for Actor Analysis in Action
Edward A Lee, Edward A. Lee, Mohammad Reza Mousavi, Mohammad Reza Mousavi, Carolyn Talcott Rebeca for Actor Analysis in Action English 06.04.2025 Paperback / Softback Fr. 92.00 6-7 weeks
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi Verification, Model Checking, and Abstract Interpretation English 27.03.2025 Paperback / Softback Fr. 82.00 6-7 weeks
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi Verification, Model Checking, and Abstract Interpretation English 27.03.2025 Paperback / Softback Fr. 82.00 6-7 weeks
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan Automated Technology for Verification and Analysis English 13.02.2025 Paperback / Softback Fr. 189.00 6-7 weeks
Samarjit Chakraborty, Mili Ghosh, Mili Ghosh et al, J K M Sadique Uz Zaman, Mukta Majumder, J K M Sadique Uz Zaman... - Computational Technologies and Electronics
Samarjit Chakraborty, Mili Ghosh, Mili Ghosh et al, J K M Sadique Uz Zaman, Mukta Majumder, J K M Sadique Uz Zaman... Computational Technologies and Electronics English 04.02.2025 Paperback / Softback Fr. 104.00 6-7 weeks
Samarjit Chakraborty, Mili Ghosh, Mili Ghosh et al, J K M Sadique Uz Zaman, Mukta Majumder, J K M Sadique Uz Zaman... - Computational Technologies and Electronics
Samarjit Chakraborty, Mili Ghosh, Mili Ghosh et al, J K M Sadique Uz Zaman, Mukta Majumder, J K M Sadique Uz Zaman... Computational Technologies and Electronics English 04.02.2025 Paperback / Softback Fr. 97.00 6-7 weeks
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan Automated Technology for Verification and Analysis English 13.02.2025 Paperback / Softback Fr. 169.00 6-7 weeks
Sidney C Nogueira, Sidney C. Nogueira, Teodorov, Ciprian Teodorov - Formal Methods: Foundations and Applications
Sidney C Nogueira, Sidney C. Nogueira, Teodorov, Ciprian Teodorov Formal Methods: Foundations and Applications English 26.12.2024 Paperback / Softback Fr. 82.00 6-7 weeks
Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods
Aaron Dutle, Laura Humphrey, Laura Titolo NASA Formal Methods English Paperback / Softback Fr. 168.00 Will be released 06.08.2025
Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule - Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule Tools and Algorithms for the Construction and Analysis of Systems English Paperback / Softback Fr. 55.50 Will be released 27.05.2025
Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule - Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule Tools and Algorithms for the Construction and Analysis of Systems English Paperback / Softback Fr. 55.50 Will be released 27.05.2025
Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule - Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel, Heule, Marijn Heule, Marjin Heule Tools and Algorithms for the Construction and Analysis of Systems English Paperback / Softback Fr. 55.50 Will be released 27.05.2025