Inbunden Bok Pocketbok

I lager hos iMusic

Visa slutsålda utgivelser

Releases med Etienne Andre

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 (Inbunden Bok) (2013)

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