Lecture Notes in Computer Science Aided Verification

Prijzen vanaf
42,79

Uitgelicht


Beschrijving

Bol This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.

Vergelijk aanbieders (1)

Shop
Prijs
Verzendkosten
Totale prijs
42,79
Gratis
42,79
Naar shop
Gratis Shipping Costs
Beschrijving (1)

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.


Productspecificaties

EAN
  • 9783031656293
Maat

Prijzen voor het laatst bijgewerkt op:

Uitgelichte Keuze
42,79
Naar shop