Книга Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III

Name: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III
SKU: 20917648
Price: 5177 UAH
Availability: InStock

Код товару: 20917648

Формат

Мова книги

Видавництво

Рік видання

Категорія

Апаратне забезпечення. Модернізація і ремонт Практика програмування (прийоми, методи, робота програміста) Основи інформатики Кібернетика. Штучний інтелект Апаратне забезпечення Розроблення програмного забезпечення Математична теорія алгоритмів Системний аналіз і проектування

Опис книги

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.

Характеристики

Видавництво

Springer

Кількість сторінок

406

Рік видання

2024

Доставка

Вказати місто доставки Щоб бачити точні умови доставки

Варіанти оплати

Оплата карткою онлайн (через сервіс LiqPay)

Передплата за рахунком

Відгуки

Виникли запитання? 0-800-335-425

Зв'язатися