[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Automatic Verification of Sequential Infinite-State Processes

Език Английски езикАнглийски език
Книга С меки корици
Книга Automatic Verification of Sequential Infinite-State Processes Burkart
Код Либристо: 06615459
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, декември 1997
This monograph provides information for theoreticians interested in algebraic theories, as well as f... Цялото описание
? points 164 b
128.20 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

30 дни за връщане на стоката

Може би ще Ви заинтересува

Enrobing of Meat and Meat Products Chidanandaiah Shivamurthaiah / С меки корици
common.buy 114.38 лв
Shahnama of Firdausi Edmond Warner / С твърди корици
common.buy 733.64 лв
Kinks Carey Fleiner / С твърди корици
common.buy 151.90 лв
Words for Students of English v. 8 Lionel Menasche / С меки корици
common.buy 71.00 лв
Bylow Hill George Washington Cable / С меки корици
common.buy 46.69 лв
Call Me Hank Hank Pennier / С меки корици
common.buy 88.96 лв
Blue Yonder Justine Davis Randers-Pehrson / С меки корици
common.buy 37.11 лв
Statistics for Engineering and the Sciences Terry L. Sincich / С меки корици
common.buy 182.37 лв
Evolution of Integral Yoga Kundan Singh / С меки корици
common.buy 182.57 лв
Philosophie Der Gegenwart Arnold Ruge / С твърди корици
common.buy 93.40 лв
Cyprus Robert Hamilton Lang / С меки корици
common.buy 80.39 лв
Die Ursache Der Zusatzlichen Eisenverluste in Umlaufenden Glatten Ringankern Julius Wild / С меки корици
common.buy 139.50 лв
L'influence du stress chez l'Infirmier Sapeur Pompiers en intervention Sokesara Tea / С меки корици
common.buy 58.09 лв
Agenda 21 Local Et Sig Didier Jean Yemba / С меки корици
common.buy 97.64 лв
National Intelligencer Newspaper Abstracts Joan M Dixon / С меки корици
common.buy 108.23 лв

This monograph provides information for theoreticians interested in algebraic theories, as well as for software engineers building practical tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.

Информация за книгата

Пълно заглавие Automatic Verification of Sequential Infinite-State Processes
Автор Burkart, O. (University of Dortmund, Germany)
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1997
Брой страници 176
Баркод 9783540639824
ISBN 9783540639824
Код Либристо 06615459
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 284
Размери 155 x 235 x 10

Категории

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Mathematics & Science > Mathematics
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo