Мягкая обложка
Handbook of Finite State Based Models and Applications
€90,81
Доставка через 3-4 недели
Уведомить
Formal Methods in Computer Science
€233,73€234,99-0%
Временно нет на складеОставьте адрес электронной почты, и мы сообщим, как только книга появится, обычно в течение 3-4 недель.
14‑дневная гарантия возвратаПередумали? Вы можете отменить заказ в любое время или оформить возврат в течение 14 дней. Политика возврата
О книге
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
| Автор | Jiacun Wang |
|---|---|
| Издательство | Taylor & Francis Ltd |
| Издано | 2019 m. |
| Язык | английский |
| Страницы | 294 psl. |
| Формат | Твердая обложка |
| Жанр | Māksla un dizains |
| ISBN | 9780367225704 |
