Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Computer-Aided Verification of Coordinating Processes

The Automata-Theoretic Approach

Език Английски езикАнглийски език
Книга С твърди корици
Книга Computer-Aided Verification of Coordinating Processes Robert P. Kurshan
Код Либристо: 01019063
Издателство Princeton University Press, април 2016
Formal verification increasingly has become recognized as an answer to the problem of how to create... Цялото описание
? points 339 b
139.95 €
273.72  лв
Външен склад Изпращаме след 10-13 дни

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

Клиентите са закупили също

Leselöwen Lesetraining 1. Klasse - Ein Stern für das kleine Einhorn Naeko Ishida / Книга С меки корици
common.buy 7.08 € 13.85 лв
AUDI RS C. Bergander / Книга Книга
common.buy 73.34 € 143.43 лв
Gréčtina konverzácia collegium / Книга С меки корици
common.buy 8.99 € 17.59 лв
Análisis comparativo de la vulnerabilidad al cambio climático en función del género / Книга С меки корици
common.buy 34.03 € 66.55 лв
Blackforest: El secreto de la estirpe abominable ALBRIGHT / Книга С меки корици
common.buy 31.39 € 61.39 лв
Hungary - (angol-német-francia-olasz-spanyol-magyar nyelvű) Hajni István; Kolozsvári Ildikó / Книга binding.
common.buy 25.39 € 49.66 лв
LA DESOBEDIENCIA DE LAS PALABRAS MESTRE / Книга Книга
common.buy 23.06 € 45.11 лв
de l'Envahissement Ganglionnaire Dans Le Cancer de la Prostate MACAIRE-J / Книга С меки корици
common.buy 15.51 € 30.34 лв
Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách Zdeněk Lipský / Книга С меки корици
common.buy 10.80 € 21.13 лв
Hörverstehen, 4 Audio-CDs. Tl.1 Thomas Storz / Аудио Аудио компактдиск
common.buy 45.72 € 89.41 лв
Sezóna pokušenia Ľubica Mesarošová / Книга С твърди корици
common.buy 2.58 € 5.05 лв
Rechtsstaat oder Ausnahmezustand? Wolfgang Hetzer / Книга С меки корици
common.buy 56.16 € 109.85 лв
Die Königin der Weißen Rose Philippa Gregory / Книга С меки корици
common.buy 11.58 € 22.65 лв
CASIO FX-9860GII, Ausgabe Baden-Württemberg Monika Eisenmann / Книга Лист
common.buy 9.72 € 19.01 лв
Baustatik in Beispielen Konstantin Meskouris / Книга С меки корици
common.buy 79.54 € 155.57 лв
Cultura y modernidad : perspectivas filosóficas de Oriente y Occidente Karl-Otto Apel / Книга С меки корици
common.buy 30.98 € 60.58 лв
Mysterium Rob Wilson / Книга С меки корици
common.buy 13.70 € 26.80 лв
Lettres Sur l'Orient, Ecrites Pendant Les Annees 1827 Et 1828. Tome 1 De Bussierre-M-T / Книга С меки корици
common.buy 27.25 € 53.30 лв
Grundkurs Microsoft Dynamics Ax Andreas Luszczak / Книга С меки корици
common.buy 69.66 € 136.25 лв
Frau fuhrt Regie Karin Martensen / Книга С меки корици
common.buy 50.99 € 99.73 лв
Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1 S. Kunst / Книга С меки корици
common.buy 148.95 € 291.33 лв
Zimní a vánoční písně 1 / Книга С меки корици
common.buy 5.84 € 11.42 лв
SIMD Processing for Software Defined Radio Peter Westermann / Книга С меки корици
common.buy 84.71 € 165.69 лв
Technik in Der Literatur Der Fr hen Moderne Tessy Korber / Книга С меки корици
common.buy 55.91 € 109.34 лв

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Computer-Aided Verification of Coordinating Processes
Автор Robert P. Kurshan
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2016
Брой страници 284
Баркод 9780691634890
ISBN 9780691634890
Код Либристо 01019063
Издателство Princeton University Press
Тегло 567
Размери 152 x 229 x 20

Категории

Mathematics & Science > Mathematics > Calculus & mathematical analysis > Complex analysis, complex variables
Technology, Engineering, Agriculture > Mechanical engineering & materials > Production engineering > Computer aided manufacture (CAM)
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Technology, Engineering, Agriculture > Industrial chemistry & manufacturing technologies
Computing & Information Technology > Computer science
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

American Family Catherine Marshall-Smith / Книга С меки корици
common.buy 14.27 € 27.91 лв
Demystifying Meaningful Coincidences (Synchronicities) Gibbs A. Williams / Книга С твърди корици
common.buy 154.38 € 301.95 лв
MZ ETZ Models (81 - 95) Mark Coombs / Книга С меки корици
common.buy 44.27 € 86.58 лв
Be Still and Know Millie Stamm / Книга С меки корици
common.buy 14.79 € 28.92 лв
The Life Of George Washington: Commander In Chief Of The Armies Of The United States Of America, Throughout The War Which Established Their Independen David Ramsay / Книга С твърди корици
common.buy 47.73 € 93.36 лв
Day The Mountain Cried Robert L Skidmore / Книга С твърди корици
common.buy 23.84 € 46.62 лв
Top
Berenstain Bears and Too Much TV Jan Berenstain / Книга С меки корици
common.buy 5.94 € 11.62 лв
1849 .. M D Likhutin / Книга С меки корици
common.buy 22.96 € 44.90 лв
They Slept Upon Their Rifles Marshall E Kuykendall / Книга С твърди корици
common.buy 39.25 € 76.77 лв
Absent in the Spring Mary Westmacott / Книга С меки корици
common.buy 11.53 € 22.55 лв
Treatise on the Criminal Law as Now Administered in the United States, Volume 2 Emlin McClain / Книга С твърди корици
common.buy 45.77 € 89.51 лв
Archaeology of the Communist Era Ludomir R. Lozny / Книга С твърди корици
common.buy 130.23 € 254.71 лв
Today Ruby Will Be a Princess Paula Croyle / Книга С твърди корици
common.buy 23.11 € 45.21 лв
REVOLUTIONARY TYPES IDA A. TAYLOR / Книга С меки корици
common.buy 27.87 € 54.51 лв
Death of an Elgin Marble David Dickinson / Книга С меки корици
common.buy 11.63 € 22.75 лв
Gateway to the Christian College Experience J Randolph Turpin Jr / Книга С меки корици
common.buy 14.79 € 28.92 лв
Hebrew vocabulary for English speakers - 9000 words Andrey Taranov / Книга С меки корици
common.buy 16.55 € 32.36 лв
Public Transit Operations: The Strategic Professional Chester Patton / Книга С меки корици
common.buy 13.08 € 25.58 лв
Cezanne and the Post-Bionian Field Robert Snell / Книга С меки корици
common.buy 52.39 € 102.46 лв
Top
Cambridge Lower Secondary Complete Physics: Workbook (Second Edition) Helen Reynolds / Книга С меки корици
common.buy 20.22 € 39.54 лв
Sustainability Challenges in Sub-Saharan Africa I Abubakari Ahmed / Книга С меки корици
common.buy 95.78 € 187.34 лв
Black or White, Vol. 11 V11 / Книга С меки корици
common.buy 10.65 € 20.83 лв
China, Japan and Regional Leadership in East Asia Christopher M Dent / Книга С твърди корици
common.buy 186.35 € 364.46 лв
Content Marketing for Nonprofits - A Communications Map for Engaging Your Community, Becoming a Favorite Cause, and Raising More Money Kivi Leroux Miller / Книга С меки корици
common.buy 44.94 € 87.90 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?