Skip to product information
1 of 1

ДМК-Пресс

Введение в формальные методы верификации программ. 2-е изд., испр

Введение в формальные методы верификации программ. 2-е изд., испр

Regular price $45.99 USD
Regular price Sale price $45.99 USD
Sale Sold out
Shipping calculated at checkout.
Состояние

Product details

Книга "Введение в формальные методы верификации программ. 2-е изд., испр". Издательство: ДМК-Пресс. Год выпуска: 2024. Переплет: Твердый переплет. Автор: Камкин А.С.
View full details
  • Isbn:
    978-5-93700-340-9

  • Ean:
    9785937003409

  • HandlingTime:
    14 days

  • Publisher:
    ДМК-Пресс

  • Binding:
    Hardcover

1 of 2