My Orange
Магазини
Любими
Търси в сайта
The SPIN Verification System
The SPIN Verification System-thumb
185,90 лв.
Запиши се за известие
Изчерпано

The SPIN Verification System

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

SKU: 9780821806807

ISBN: 9780821806807

Вид корица: Hardback

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

What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996.

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

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

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

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

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

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

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

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


Вход
Регистрация

Създавайки профил се присъединяваш към програмата My Orange и се съгласяваш с Правилата и условията на Ориндж Интернешънъл АД.