Languages
Subject
Format
Availabity
Authors

Search result

Klaus Havelund, Gerar Holzmann, Gerard Holzmann, Rajeev Joshi - NASA Formal Methods
Klaus Havelund, Gerar Holzmann, Gerard Holzmann, Rajeev Joshi NASA Formal Methods English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Lecomte, Lecomte, Thierry Lecomte, Leil Ribeiro, Leila Ribeiro - Formal Methods: Foundations and Applications
Lecomte, Lecomte, Thierry Lecomte, Leil Ribeiro, Leila Ribeiro Formal Methods: Foundations and Applications English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Wolfgang Ahrendt, Bernhar Beckert, Bernhard Beckert, Richard Bubel, Richard Bubel et al, Reiner Hähnle... - Deductive Software Verification - The KeY Book
Wolfgang Ahrendt, Bernhar Beckert, Bernhard Beckert, Richard Bubel, Richard Bubel et al, Reiner Hähnle... Deductive Software Verification - The KeY Book English 01.01.2016 Paperback / Softback Fr. 159.00 6-7 weeks
A Muñoz, A Muñoz, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, César A. Muñoz - Interactive Theorem Proving
A Muñoz, A Muñoz, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, César A. Muñoz Interactive Theorem Proving English 30.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Ionut Tutu, Ionu uu - Recent Trends in Algebraic Development Techniques
Ionut Tutu, Ionu uu Recent Trends in Algebraic Development Techniques English 07.05.2025 Paperback / Softback Fr. 147.00 6-7 weeks
Andreas Malcher, Prigioniero, Luca Prigioniero - Descriptional Complexity of Formal Systems
Andreas Malcher, Prigioniero, Luca Prigioniero Descriptional Complexity of Formal Systems English 28.07.2025 Paperback / Softback Fr. 159.00 6-7 weeks
Giuseppa Castiglione, Mantaci, Sabrina Mantaci - Implementation and Application of Automata
Giuseppa Castiglione, Mantaci, Sabrina Mantaci Implementation and Application of Automata English 19.09.2025 Paperback / Softback Fr. 92.00 6-7 weeks
Jonathan Protzenko, Raad, Azalea Raad - Verified Software. Theories, Tools and Experiments
Jonathan Protzenko, Raad, Azalea Raad Verified Software. Theories, Tools and Experiments English 17.04.2025 Paperback / Softback Fr. 70.00 6-7 weeks
Moren Falaschi, Moreno Falaschi - Logic-Based Program Synthesis and Transformation
Moren Falaschi, Moreno Falaschi Logic-Based Program Synthesis and Transformation English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems
Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria Tools and Algorithms for the Construction and Analysis of Systems English 30.04.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Peter Höfner, Damie Pous, Damien Pous, Georg Struth - Relational and Algebraic Methods in Computer Science
Peter Höfner, Damie Pous, Damien Pous, Georg Struth Relational and Algebraic Methods in Computer Science English 31.05.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Alessandro Antonucci, Laurenc Cholvy, Laurence Cholvy, Odile Papini - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Alessandro Antonucci, Laurenc Cholvy, Laurence Cholvy, Odile Papini Symbolic and Quantitative Approaches to Reasoning with Uncertainty English 31.07.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Martin Fränzle, Jürgen Niehaus, Bernd Westphal - Engineering Safe and Trustworthy Cyber Physical Systems
Martin Fränzle, Jürgen Niehaus, Bernd Westphal Engineering Safe and Trustworthy Cyber Physical Systems English 02.08.2025 Paperback / Softback Fr. 92.00 6-7 weeks
Giovanni Casini, Besik Dundua, Temur Kutsia - Logics in Artificial Intelligence
Giovanni Casini, Besik Dundua, Temur Kutsia Logics in Artificial Intelligence English 03.10.2025 Paperback / Softback Fr. 92.00 6-7 weeks
Giovanni Casini, Besik Dundua, Temur Kutsia - Logics in Artificial Intelligence
Giovanni Casini, Besik Dundua, Temur Kutsia Logics in Artificial Intelligence English 03.10.2025 Paperback / Softback Fr. 92.00 6-7 weeks
Santiago Escobar, Titolo, Laura Titolo - Logic-Based Program Synthesis and Transformation
Santiago Escobar, Titolo, Laura Titolo Logic-Based Program Synthesis and Transformation English 07.10.2025 Paperback / Softback Fr. 82.00 6-7 weeks
Hazem Torfah, Bettina Könighofer, Torfah, Hazem Torfah - Runtime Verification
Hazem Torfah, Bettina Könighofer, Torfah, Hazem Torfah Runtime Verification English 18.10.2025 Paperback / Softback Fr. 92.00 6-7 weeks
Bernhard Steffen - Bridging the Gap Between AI and Reality
Bernhard Steffen Bridging the Gap Between AI and Reality English 20.09.2025 Paperback / Softback Fr. 56.90 6-7 weeks
Nikhi Bansal, Nikhil Bansal, Finocchi, Finocchi, Irene Finocchi - Algorithms - ESA 2015
Nikhi Bansal, Nikhil Bansal, Finocchi, Finocchi, Irene Finocchi Algorithms - ESA 2015 English 30.09.2015 Paperback / Softback Fr. 135.00 6-7 weeks