Computer Aided Verification [electronic resource] : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I / edited by Arie Gurfinkel, Vijay Ganesh.

Інтелектуальна відповідальність: Вид матеріалу: Текст Серія: Lecture Notes in Computer Science ; 14681Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Видання: 1st ed. 2024Опис: XXXIII, 498 p. 133 illus., 110 illus. in color. online resourceТип вмісту:
  • text
Тип засобу:
  • computer
Тип носія:
  • online resource
ISBN:
  • 9783031656279
Тематика(и): Додаткові фізичні формати: Printed edition:: Немає назви; Printed edition:: Немає назвиДесяткова класифікація Дьюї:
  • 005.1 23
Класифікація Бібліотеки Конгресу:
  • QA76.758
Електронне місцезнаходження та доступ: У: Springer Nature eBookЗведення: 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.
Тип одиниці:
Мітки з цієї бібліотеки: Немає міток з цієї бібліотеки для цієї назви. Ввійдіть, щоб додавати мітки.
Оцінки зірочками
    Середня оцінка: 0.0 (0 голос.)
Немає реальних примірників для цього запису

Open Access

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.

Немає коментарів для цієї одиниці.

для можливості публікувати коментарі.