Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

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 Englisch 06.04.2025 Taschenbuch Fr. 92.00 6-7 Wochen
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 Englisch 01.01.2008 Taschenbuch Fr. 97.00 6-7 Wochen
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 Englisch 27.03.2025 Taschenbuch Fr. 82.00 6-7 Wochen
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 Englisch 27.03.2025 Taschenbuch Fr. 82.00 6-7 Wochen
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 Englisch 13.02.2025 Taschenbuch Fr. 189.00 6-7 Wochen
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 Englisch 04.02.2025 Taschenbuch Fr. 104.00 6-7 Wochen
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 Englisch 27.05.2025 Taschenbuch Fr. 56.90 6-7 Wochen
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 Englisch 27.05.2025 Taschenbuch Fr. 56.90 6-7 Wochen
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 Englisch 27.05.2025 Taschenbuch Fr. 56.90 6-7 Wochen
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 Englisch 04.02.2025 Taschenbuch Fr. 97.00 6-7 Wochen
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 Englisch 13.02.2025 Taschenbuch Fr. 169.00 6-7 Wochen
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 Englisch 26.12.2024 Taschenbuch Fr. 82.00 6-7 Wochen
Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods
Aaron Dutle, Laura Humphrey, Laura Titolo NASA Formal Methods Englisch Taschenbuch Fr. 168.00 Erscheint am 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 Englisch Taschenbuch Fr. 81.00 Erscheint am 11.07.2025