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

Інтелектуальна відповідальність: Вид матеріалу: Текст Серія: Lecture Notes in Computer Science ; 13966Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Видання: 1st ed. 2023Опис: XVII, 502 p. 140 illus., 88 illus. in color. online resourceТип вмісту:
  • text
Тип засобу:
  • computer
Тип носія:
  • online resource
ISBN:
  • 9783031377099
Тематика(и): Додаткові фізичні формати: Printed edition:: Немає назви; Printed edition:: Немає назвиДесяткова класифікація Дьюї:
  • 005.1 23
Класифікація Бібліотеки Конгресу:
  • QA76.758
Електронне місцезнаходження та доступ: У: Springer Nature eBookЗведення: The open access proceedings set LNCS 13964, 13965, 13966 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

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

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

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