Магазини
Любими
376,90 лв.
Изчерпано

Computer-aided Verification

Изчерпано количество
0%
376,90 лв.

SKU: 9780821865941

ISBN: 9780821865941

Вид корица: Hardback

Издателство: American Mathematical Society

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.

* Сроковете за доставка могат да бъдат удължени и по време на кампании, както и в зависимост от наличностите на поръчаните артикули.

Доставка до твой адрес
  • При теб до 3 работни дни
  • Цена за доставка с куриер - 4.90 лв.
  • Безплатна доставка (за поръчка над 49.80 лв.)
Доставка до офис на куриер
  • Цена за доставка до офис - 4.90 лв.
  • По-кратък срок за доставка
Доставка до магазин на Orange Center
  • Доставката до магазин е безплатна

Онлайн магазин orangecenter.bg уверява своите клиенти, че съгласно чл. 55, ал.1 от Закона за защита на потребителите, имат правото да се откажат / или заменят получена от тях стока в срок от 14 (четиринадесет) работни дни от датата на получаване на стоката САМО при условие, че продукта е:

- в оригиналният си вид и качествени характеристики, със запазена оригинална опаковка и етикет, като не се счита за повредена опаковката, цялостта на която е била нарушена по начин, единствено позволяващ отделянето й от стоката.

- без следи от употреба (скъсване, надраскване, счупване или други повреди), както и няма други повреди, причинени от неправилна употреба.

Повече информация за връщане и замяна на стока ще намерите тук.

Остави коментар

Не е необходимо да имате създаден профил, за да оставите коментар