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

Computer Aided Verification

41.9 BGN
Цена: 41.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
Ще харесаш още
Mastering Algorithms with Perl Mastering Algorithms with Perl 1999 г.
Цена: 75.90 лв.
Software Development Teams Software Development Teams 2016 г.
Цена: 34.90 лв.
Practical Software Testing Practical Software Testing 2010 г.
Цена: 255.90 лв.
Graphisch-Interaktive Stromungsvisualisierung Graphisch-Interaktive Stromungsvisualisierung 1997 г.
Цена: 143.90 лв.