Computer Aided Verification [electronic resource] : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I / edited by Constantin Enea, Akash Lal.

Інтелектуальна відповідальність: Вид матеріалу: Текст Серія: Lecture Notes in Computer Science ; 13964Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Видання: 1st ed. 2023Опис: XXXI, 488 p. 160 illus., 121 illus. in color. online resourceТип вмісту:
  • text
Тип засобу:
  • computer
Тип носія:
  • online resource
ISBN:
  • 9783031377068
Тематика(и): Додаткові фізичні формати: Printed edition:: Немає назви; Printed edition:: Немає назвиДесяткова класифікація Дьюї:
  • 005.1 23
Класифікація Бібліотеки Конгресу:
  • QA76.758
Електронне місцезнаходження та доступ: У: Springer Nature eBookЗведення: This open access proceedings set constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. .
Тип одиниці:
Мітки з цієї бібліотеки: Немає міток з цієї бібліотеки для цієї назви. Ввійдіть, щоб додавати мітки.
Оцінки зірочками
    Середня оцінка: 0.0 (0 голос.)
Немає реальних примірників для цього запису

Open Access

This open access proceedings set constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. .

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

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