0700 20 866 Виж всички данни за контакт
Меню
0 0
Computer Aided Verification, 9783540646082

Computer Aided Verification

271.9 BGN
Цена: 271.90 лв.
В наличност
Количество
Кyпи сега
Прочети описанието
Доставка до твой адрес
  • При теб до 14 работни дни (доставка от UK)
  • Книгата е налична на склад при доставчик в Англия (*важи за продукти със статус "В наличност")
  • Стойността на доставката се изчислява допълнително и се начислява при финализиране на поръчката.
  • Подробности за поръчка на Книги на чужд език ще откриете тук
A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction.
Върни се горе и купи

Информация за “Computer Aided Verification”

  • Година на издаване 1998 г.
  • Корица Paperback
  • Тегло 0.72 кг.
  • Размери 234 x 156 x 29

Няма написани коментари - напиши първия коментар от тук.

Напиши коментар

Попълни формата по-долу:

Оценка
Най-ниската е 1, най-високата 5