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

Övrigt, Engelska, 2023

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

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

Av Constantin Enea, Akash Lal

686 kr

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

Beskrivning

Produktinformation

Utgivningsdatum: 2023-07-18
Format: Övrigt
Språk: Engelska
Antal sidor: 478
Förlag: Springer
ISBN: 9783031377044

Utforska kategorier

Inga kategorier tillgängliga.

Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.