- Nyhet
Del 16682 - Lecture Notes in Computer Science
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
Häftad, Engelska, 2026
589 kr
Skickas inom 10-15 vardagar
Eva Darulova – författare
Visar alla böcker från författaren Eva Darulova.
3 produkter
3 produkter
- Nyhet
Del 16683 - Lecture Notes in Computer ScienceComputer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II
Häftad, Engelska, 2026589 kr
Skickas inom 10-15 vardagar
- Nyhet
Del 16684 - Lecture Notes in Computer ScienceComputer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III
Häftad, Engelska, 2026589 kr
Skickas inom 10-15 vardagar