Övrigt, Engelska, 2023
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conf
Av Sriram Sankaranarayanan, Natasha Sharygina
686 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Beskrivning
Produktinformation
- Utgivningsdatum: 2023-04-21
- Format: Övrigt
- Språk: Engelska
- Antal sidor: 630
- Förlag: Springer
- ISBN: 9783031308215
Utforska kategorier
- Inga kategorier tillgängliga.
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.