Languages
Subject
Format
Availabity
Authors

Search result

Lou Goble, John-Jules Ch. Meyer - Deontic Logic and Artificial Normative Systems
Lou Goble, John-Jules Ch. Meyer Deontic Logic and Artificial Normative Systems English 01.01.2006 Paperback / Softback Fr. 104.00 6-7 weeks
Diana F. Gordon-Spears, Michae Hinchey, Michael Hinchey, James Rash, James Rash et al, Christopher Rouff... - Agent Technology from a Formal Perspective
Diana F. Gordon-Spears, Michae Hinchey, Michael Hinchey, James Rash, James Rash et al, Christopher Rouff... Agent Technology from a Formal Perspective English 26.10.2010 Paperback / Softback Fr. 189.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
Yamin Ait Ameur, Yamine Ait Ameur, Schewe, Schewe, Klaus-Dieter Schewe - Abstract State Machines, Alloy, B, TLA, VDM, and Z
Yamin Ait Ameur, Yamine Ait Ameur, Schewe, Schewe, Klaus-Dieter Schewe Abstract State Machines, Alloy, B, TLA, VDM, and Z English 30.04.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Alex Potanin - Programming Languages and Systems
Alex Potanin Programming Languages and Systems English 01.01.2026 Paperback / Softback Fr. 103.00 6-7 weeks
Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods
Aaron Dutle, Laura Humphrey, Laura Titolo NASA Formal Methods English 06.08.2025 Paperback / Softback Fr. 169.00 6-7 weeks
Meenakshi D´Souza, Raghavan Komondoor, B Srivathsan, B. Srivathsan - Automated Technology for Verification and Analysis
Meenakshi D´Souza, Raghavan Komondoor, B Srivathsan, B. Srivathsan Automated Technology for Verification and Analysis English 31.12.2025 Paperback / Softback Fr. 113.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
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 27.05.2025 Paperback / Softback Fr. 56.90 6-7 weeks
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 27.05.2025 Paperback / Softback Fr. 56.90 6-7 weeks
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 27.05.2025 Paperback / Softback Fr. 56.90 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
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
Domenico Bianculli, Gómez-Martínez, Elena Gómez-Martínez - Software Engineering and Formal Methods
Domenico Bianculli, Gómez-Martínez, Elena Gómez-Martínez Software Engineering and Formal Methods English 06.12.2025 Paperback / Softback Fr. 102.00 6-7 weeks
Étienne André, Jingyi Wang, Naijun Zhan - Formal Methods and Software Engineering
Étienne André, Jingyi Wang, Naijun Zhan Formal Methods and Software Engineering English 06.12.2025 Paperback / Softback Fr. 102.00 6-7 weeks
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 English 11.07.2025 Paperback / Softback Fr. 82.00 6-7 weeks
Carlos A Varela, Jose Meseguer, Carlos A. Varela, Nalini Venkatasubramanian - Concurrent Programming, Open Systems and Formal Methods
Carlos A Varela, Jose Meseguer, Carlos A. Varela, Nalini Venkatasubramanian Concurrent Programming, Open Systems and Formal Methods English 16.10.2025 Paperback / Softback Fr. 113.00 6-7 weeks