TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions: 14550
Springer
Description
TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions: 14550 Läs mer
GTIN
9783031676949
Föreslaget av
Amazon.se
Registrera produkten
Registrerad produkt
Jämför produkt
Prishistorik
Relaterade produkter
Välj minst 2 produkter för jämförelse
Visa jämförelse