Formal Methods [electronic resource] : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I / edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi.

Інтелектуальна відповідальність: Вид матеріалу: Текст Серія: Lecture Notes in Computer Science ; 14933Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2025Видання: 1st ed. 2025Опис: XXII, 680 p. 166 illus., 113 illus. in color. online resourceТип вмісту:
  • text
Тип засобу:
  • computer
Тип носія:
  • online resource
ISBN:
  • 9783031711626
Тематика(и): Додаткові фізичні формати: Printed edition:: Немає назви; Printed edition:: Немає назвиДесяткова класифікація Дьюї:
  • 005.1 23
Класифікація Бібліотеки Конгресу:
  • QA76.758
Електронне місцезнаходження та доступ: У: Springer Nature eBookЗведення: This open access book constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. .
Тип одиниці:
Мітки з цієї бібліотеки: Немає міток з цієї бібліотеки для цієї назви. Ввійдіть, щоб додавати мітки.
Оцінки зірочками
    Середня оцінка: 0.0 (0 голос.)
Немає реальних примірників для цього запису

Open Access

This open access book constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. .

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

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