Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conf
Sriram Sankaranarayanan • Natasha Sharygina
Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.
- Format: Perfect
- ISBN: 9783031308215
- Språk: Engelska
- Antal sidor: 630
- Utgivningsdatum: 2023-04-21
- Förlag: Springer