Innbunden bok Pocketbok

På lager hos iMusic

Vis utilgjengelige utgivelser

Releases med Étienne André

Cover for Étienne André · Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I - Lecture Notes in Computer Science (Pocketbok) [1st ed. 2023 edition] (2023)

1st ed. 2023 edition

Automated Technology for Verific... (2023)

Étienne André

Cover for Etienne Andre · The Inverse Method: Parametric Verification of Real-time Unbedded Systems (Innbunden bok) (2013)

The Inverse Method: Parametric V... (2013)