Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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 Inglese 01.01.2008 Tascabile Fr. 97.00 6-7 settimane
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 Inglese 06.04.2025 Tascabile Fr. 92.00 6-7 settimane
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 Inglese 27.03.2025 Tascabile Fr. 82.00 6-7 settimane
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 Inglese 27.03.2025 Tascabile Fr. 82.00 6-7 settimane
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 Inglese 13.02.2025 Tascabile Fr. 189.00 6-7 settimane
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 Inglese 04.02.2025 Tascabile Fr. 104.00 6-7 settimane
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 Inglese 27.05.2025 Tascabile Fr. 55.90 6-7 settimane
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 Inglese 27.05.2025 Tascabile Fr. 55.90 6-7 settimane
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 Inglese 27.05.2025 Tascabile Fr. 55.90 6-7 settimane
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 Inglese 04.02.2025 Tascabile Fr. 97.00 6-7 settimane
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 Inglese 13.02.2025 Tascabile Fr. 169.00 6-7 settimane
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 Inglese 26.12.2024 Tascabile Fr. 82.00 6-7 settimane
Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods
Aaron Dutle, Laura Humphrey, Laura Titolo NASA Formal Methods Inglese Tascabile Fr. 168.00 Pubblicazione il 06.08.2025
Antares Mezzina, Carla Ferreira, Claudio Antares Mezzina - Formal Techniques for Distributed Objects, Components, and Systems
Antares Mezzina, Carla Ferreira, Claudio Antares Mezzina Formal Techniques for Distributed Objects, Components, and Systems Inglese Tascabile Fr. 81.00 Pubblicazione il 11.07.2025