Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese - Software Engineering for Self-Adaptive Systems III. Assurances
Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese Software Engineering for Self-Adaptive Systems III. Assurances Anglais 18.01.2018 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems Anglais 14.04.2019 Livre de poche Fr. 81.00 1-2 semaines (titre imprimé sur commande)
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman - Integrated Formal Methods
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman Integrated Formal Methods Anglais 01.01.2016 Livre de poche Fr. 110.00 6-7 semaines
Manfred Broy, Beng Jonsson, Bengt Jonsson, Joost-Pieter Katoen, Joost-Pieter Katoen et al, Martin Leucker... - Model-Based Testing of Reactive Systems
Manfred Broy, Beng Jonsson, Bengt Jonsson, Joost-Pieter Katoen, Joost-Pieter Katoen et al, Martin Leucker... Model-Based Testing of Reactive Systems Anglais 04.07.2005 Livre de poche Fr. 70.00 6-7 semaines
Enrico Giunchiglia, Toby Walsh - SAT 2005
Enrico Giunchiglia, Toby Walsh SAT 2005 Anglais 28.03.2011 Livre Relié Fr. 189.00 6-7 semaines
Sebastia Nanz, Sebastian Nanz - The Future of Software Engineering
Sebastia Nanz, Sebastian Nanz The Future of Software Engineering Anglais 16.11.2010 Livre Relié Fr. 70.00 6-7 semaines
Enric Giunchiglia, Enrico Giunchiglia, Walsh, Walsh, Toby Walsh - SAT 2005
Enric Giunchiglia, Enrico Giunchiglia, Walsh, Walsh, Toby Walsh SAT 2005 Anglais 01.01.2014 Livre de poche Fr. 189.00 6-7 semaines
Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods
Aaron Dutle, Laura Humphrey, Laura Titolo NASA Formal Methods Anglais 06.08.2025 Livre de poche Fr. 169.00 6-7 semaines
Mehd Dastani, Mehdi Dastani, Sirjani, Sirjani, Marjan Sirjani - Fundamentals of Software Engineering
Mehd Dastani, Mehdi Dastani, Sirjani, Sirjani, Marjan Sirjani Fundamentals of Software Engineering Anglais 30.11.2015 Livre de poche Fr. 70.00 6-7 semaines
Stefani Gnesi, Stefania Gnesi, Rensink, Rensink, Arend Rensink - Fundamental Approaches to Software Engineering
Stefani Gnesi, Stefania Gnesi, Rensink, Rensink, Arend Rensink Fundamental Approaches to Software Engineering Anglais 04.03.2014 Livre de poche Fr. 70.00 6-7 semaines
Jonathan Protzenko, Raad, Azalea Raad - Verified Software. Theories, Tools and Experiments
Jonathan Protzenko, Raad, Azalea Raad Verified Software. Theories, Tools and Experiments Anglais 17.04.2025 Livre de poche Fr. 70.00 6-7 semaines
Jeremy Gibbons - Trends in Functional Programming
Jeremy Gibbons Trends in Functional Programming Anglais 26.08.2025 Livre de poche Fr. 159.00 6-7 semaines
Alexande Egyed, Alexander Egyed, Schaefer, Schaefer, Ina Schaefer - Fundamental Approaches to Software Engineering
Alexande Egyed, Alexander Egyed, Schaefer, Schaefer, Ina Schaefer Fundamental Approaches to Software Engineering Anglais 01.01.2015 Livre de poche Fr. 70.00 6-7 semaines
Pepita Barnard, Pepita Barnard et al, John Robert Bautista, Gema Bello-Orgaz, Santanu Dash, Arya Farahi... - Testing Software and Systems
Pepita Barnard, Pepita Barnard et al, John Robert Bautista, Gema Bello-Orgaz, Santanu Dash, Arya Farahi... Testing Software and Systems Anglais 19.01.2025 Livre de poche Fr. 92.00 6-7 semaines
Pierre Ganty, Mansutti, Alessio Mansutti - Reachability Problems
Pierre Ganty, Mansutti, Alessio Mansutti Reachability Problems Anglais Livre de poche Fr. 81.00 Paraît le 30.11.2025
Ferruccio Damiani, Farrell, Marie Farrell - Integrated Formal Methods
Ferruccio Damiani, Farrell, Marie Farrell Integrated Formal Methods Anglais Livre de poche Fr. 91.00 Paraît le 24.01.2026
Clark Barrett, Waldmann, Uwe Waldmann - Automated Deduction - CADE 30
Clark Barrett, Waldmann, Uwe Waldmann Automated Deduction - CADE 30 Anglais 11.09.2025 Livre de poche épuisé