Sriram Sankaranarayanan, Natasha Sharygina - Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conf, Övrigt

Ö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

Name: Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conf
SKU: 9783031308246
Price: 686 SEK
Availability: OutOfStock
ISBN: 9783031308246

Av Sriram Sankaranarayanan, Natasha Sharygina

686 kr

Tillfälligt slut

Beskrivning

Produktinformation

Utgivningsdatum: 2023-04-23
Format: Övrigt
Språk: Engelska
Antal sidor: 734
Förlag: Springer
ISBN: 9783031308246

Utforska kategorier

Inga kategorier tillgängliga.

Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.