bokomslag Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conf

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

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

Denna produkt går inte att reservera, köp den gärna online!

  • 630 sidor
  • 2023
  • Författare: Sriram Sankaranarayanan, Natasha Sharygina
  • Format: Perfect
  • ISBN: 9783031308215
  • Språk: Engelska
  • Antal sidor: 630
  • Utgivningsdatum: 2023-04-21
  • Förlag: Springer