Bokus
Constantin Enea, Akash Lal - Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, Övrigt

Övrigt, Engelska, 2023

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Av Constantin Enea, Akash Lal

686 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning
Produktinformation
  • Utgivningsdatum: 2023-07-17
  • Format: Övrigt
  • Språk: Engelska
  • Antal sidor: 522
  • Förlag: Springer
  • ISBN: 9783031377075
Utforska kategorier
  • Inga kategorier tillgängliga.
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.