Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I - Lecture Notes in Computer Science - Étienne André - Bøker - Springer International Publishing AG - 9783031453281 - 22. oktober 2023
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

É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 1st ed. 2023 edition

Pris
NOK 889

Bestillingsvarer

Forventes levert 7. - 15. jan 2026
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023.

446 pages, 47 Illustrations, color; 38 Illustrations, black and white; XVI, 446 p. 85 illus., 47 ill

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 22. oktober 2023
ISBN13 9783031453281
Utgivere Springer International Publishing AG
Antall sider 446
Mål 150 × 220 × 10 mm   ·   644 g
Språk Engelsk  
Redaktør Andre, Etienne
Redaktør Sun, Jun

Mer med Étienne André

Vis alle

Se alt med Étienne André ( f.eks. Innbunden bok og Pocketbok )