23 results
Type of media (2)
Availability (2)
Classification (5)
Year
Persons
Publishers
Sort by
Results per page
Filter
23 results

Your search for Axel Legay

  1. Cover: Automated Technology for Verification and Analysis - Springer
    Cyrille Artho | Axel Legay | Doron Peled
    Automated Technology for Verification and Analysis
    14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
    10/2016
    Springer
    9783319465203 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Axel Legay | Tiziana Margaria
    Tools and Algorithms for the Construction and Analysis of Systems
    23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
    03/2017
    Springer
    9783662545805 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Axel Legay | Tiziana Margaria
    Tools and Algorithms for the Construction and Analysis of Systems
    23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
    03/2017
    Springer
    9783662545775 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Risks and Security of Internet and Systems - Springer
    Frédéric Cuppens | Nora Cuppens | Jean-Louis Lanet
    Risks and Security of Internet and Systems
    11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
    03/2017
    Springer
    9783319548760 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Models, Algorithms, Logics and Tools - Springer
    Luca Aceto | Giorgio Bacci | Giovanni Bacci
    Models, Algorithms, Logics and Tools
    Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
    08/2017
    Springer
    9783319631219 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Risks and Security of Internet and Systems - Springer
    Nora Cuppens | Frédéric Cuppens | Jean-Louis Lanet
    Risks and Security of Internet and Systems
    12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
    03/2018
    Springer
    9783319766874 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Model Checking Software - Springer
    Fabrizio Biondi | Thomas Given-Wilson | Axel Legay
    Model Checking Software
    26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
    10/2019
    Springer
    9783030309237 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Formal Modeling and Analysis of Timed Systems - Springer
    Axel Legay | Marius Bozga
    Formal Modeling and Analysis of Timed Systems
    12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
    08/2014
    Springer
    9783319105123 (ISBN)
    E-Book
    PDF
    Other editions
    €50.28
    Available for download
  9. Cover: Runtime Verification - Springer
    Axel Legay | Saddek Bensalem
    Runtime Verification
    4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
    09/2013
    Springer
    9783642407871 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  10. Cover: Hardware and Software: Verification and Testing - Springer
    Valeria Bertacco | Axel Legay
    Hardware and Software: Verification and Testing
    9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
    10/2013
    Springer
    9783319030777 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  11. Cover: From Programs to Systems - The Systems Perspective in Computing - Springer
    Saddek Bensalem | Yassine Lakhnech | Axel Legay
    From Programs to Systems - The Systems Perspective in Computing
    ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
    07/2014
    Springer
    9783642548482 (ISBN)
    E-Book
    PDF
    Other editions
    €50.28
    Available for download
  12. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Axel Legay | Tiziana Margaria
    Tools and Algorithms for the Construction and Analysis of Systems
    23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
    03/2017
    Springer
    9783662545799 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  13. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Axel Legay | Tiziana Margaria
    Tools and Algorithms for the Construction and Analysis of Systems
    23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
    03/2017
    Springer
    9783662545768 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  14. Cover: Model Checking Software - Springer
    Fabrizio Biondi | Thomas Given-Wilson | Axel Legay
    Model Checking Software
    26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
    09/2019
    Springer
    9783030309220 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  15. Cover: Runtime Verification - Springer
    Axel Legay | Saddek Bensalem
    Runtime Verification
    4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
    08/2013
    Springer
    9783642407864 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  16. Cover: From Programs to Systems - The Systems Perspective in Computing - Springer
    Saddek Bensalem | Yassine Lakhnech | Axel Legay
    From Programs to Systems - The Systems Perspective in Computing
    ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
    03/2014
    Springer
    9783642548475 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €51.36
    Shipment within 7-9 days
  17. Cover: Automated Technology for Verification and Analysis - Springer
    Cyrille Artho | Axel Legay | Doron Peled
    Automated Technology for Verification and Analysis
    14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
    09/2016
    Springer
    9783319465197 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  18. Cover: Risks and Security of Internet and Systems - Springer
    Frédéric Cuppens | Nora Cuppens | Jean-Louis Lanet
    Risks and Security of Internet and Systems
    11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
    03/2017
    Springer
    9783319548753 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  19. Cover: Models, Algorithms, Logics and Tools - Springer
    Luca Aceto | Giorgio Bacci | Giovanni Bacci
    Models, Algorithms, Logics and Tools
    Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
    07/2017
    Springer
    9783319631202 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  20. Cover: Risks and Security of Internet and Systems - Springer
    Nora Cuppens | Frédéric Cuppens | Jean-Louis Lanet
    Risks and Security of Internet and Systems
    12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
    02/2018
    Springer
    9783319766867 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
    2. of 2