Etienne André - Böcker

Visar alla böcker från författaren Etienne André.

5 produkter

Kategorier

5 produkter

Inverse Method

Parametric Verification of Real-time Unbedded Systems

Av Etienne André, Romain Soulat

Inbunden, Engelska, 2013

2 429 kr

Skickas inom 5-8 vardagar

Formal Modeling and Analysis of Timed Systems

17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Av Étienne André, Mariëlle Stoelinga m. fl

Häftad, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar

Automated Technology for Verification and Analysis

21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I

Av Étienne André, Jun Sun m. fl

Häftad, Engelska, 2023

1 149 kr

Skickas inom 10-15 vardagar

Automated Technology for Verification and Analysis

21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II

Av Étienne André, Jun Sun m. fl

Häftad, Engelska, 2023

1 059 kr

Skickas inom 10-15 vardagar

Formal Methods and Software Engineering

26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings

Av Étienne André, Jingyi Wang m. fl

Häftad, Engelska, 2025

1 169 kr

Skickas inom 10-15 vardagar