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

Your search for Étienne André

  1. Cover: Automated Technology for Verification and Analysis - Springer
    Étienne André | Jun Sun
    Automated Technology for Verification and Analysis
    21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
    10/2023
    Springer
    9783031453298 (ISBN)
    E-Book
    PDF
    Other editions
    €85.59
    Available for download
  2. Cover: Formal Modeling and Analysis of Timed Systems - Springer
    Étienne André | Mariëlle Stoelinga
    Formal Modeling and Analysis of Timed Systems
    17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings
    08/2019
    Springer
    9783030296629 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Formal Methods and Software Engineering - Springer
    Étienne André | Jingyi Wang | Naijun Zhan
    Formal Methods and Software Engineering
    26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
    11/2025
    Springer
    9789819542130 (ISBN)
    E-Book
    PDF
    Other editions
    €78.10
    Available for download
  4. Cover: Formal Modeling and Analysis of Timed Systems - Springer
    Étienne André | Mariëlle Stoelinga
    Formal Modeling and Analysis of Timed Systems
    17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings
    08/2019
    Springer
    9783030296612 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  5. Cover: Formal Methods and Software Engineering - Springer
    Étienne André | Jingyi Wang | Naijun Zhan
    Formal Methods and Software Engineering
    26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
    approx. 11/2025
    Springer
    9789819542123 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €79.17
    Not yet published
  6. Cover: Automated Technology for Verification and Analysis - Springer
    Étienne André | Jun Sun
    Automated Technology for Verification and Analysis
    21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
    10/2023
    Springer
    9783031453311 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 15-20 days
  7. Cover: Automated Technology for Verification and Analysis - Springer
    Étienne André | Jun Sun
    Automated Technology for Verification and Analysis
    21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
    10/2023
    Springer
    9783031453281 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €85.59
    Shipment within 15-20 days