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

Övrigt, Engelska, 2023

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

Name: Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
SKU: 9783031377105
Price: 686 SEK
Availability: InStock
ISBN: 9783031377105

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: 520
Förlag: Springer
ISBN: 9783031377105

Utforska kategorier

Inga kategorier tillgängliga.

Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.