Проверка на състоянието на поръчката
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€

Verifying Concurrent Processes Using Temporal Logic

Език Английски езикАнглийски език
Книга С меки корици
Книга Verifying Concurrent Processes Using Temporal Logic B. T. Hailpern
Код Либристо: 01557740
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
? points 125 b
51.76 €
101.24  лв
Външен склад Изпращаме след 5-8 дни

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

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

Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Книга С меки корици
common.buy 7.82 € 15.29 лв
In das Feuer James Rosone / Книга С меки корици
common.buy 15.80 € 30.90 лв
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Книга С меки корици
common.buy 24.14 € 47.22 лв
Planificación de recursos humanos en las administraciones públicas : gestión y desarrollo de personas en tiempos de austeridad Alfredo Rodríguez Gurtubay / Книга С меки корици
common.buy 24.09 € 47.12 лв
Taśma Washi Tape Neon Narcissus / Книга binding.
common.buy 30.05 € 58.77 лв
Buenos días, ángel de mi guarda : doctrina y devocionario angélico Rafael María López Melús / Книга С меки корици
common.buy 10.88 € 21.27 лв
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Книга С меки корици
common.buy 29.79 € 58.26 лв
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Печатни материали Карта
common.buy 5.69 € 11.14 лв
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Книга binding.
common.buy 53.06 € 103.77 лв
PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan / Книга С меки корици
common.buy 26.27 € 51.37 лв
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-книга Adobe ePub DRM
common.buy 8.54 € 16.71 лв
Si te vuelvo a ver manana Robbie Couch / E-книга Adobe ePub DRM
common.buy 10.41 € 20.36 лв
Bibliotheken Candida Höfer / Книга С твърди корици
common.buy 78.55 € 153.63 лв
Alimentární infekce Václav Vacek / Книга С твърди корици
common.buy 5.59 € 10.94 лв
De La Signification Des Mots, Volume 2... Auguste Savagner / Книга С твърди корици
common.buy 36.42 € 71.24 лв
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Книга С меки корици
common.buy 6.26 € 12.25 лв
Top
Manuál terapie systémů vnitřní rodiny - Léčba úzkosti, deprese a traumatu pomocí IFS Frank Anderson / Книга С меки корици
common.buy 13.05 € 25.53 лв
BABADADA, Shona - Espanol de Mexico con articulos, duramazwi rine mifananidzo - el diccionario visual Babadada Gmbh / Книга С меки корици
common.buy 28.39 € 55.53 лв
Separacion de uranio en restos oseos para la datacion de estos Genoveva García Rosales / Книга С меки корици
common.buy 34.92 € 68.30 лв
Just delicious - Couscous, Bulgur & Co. Sarah Schocke / Книга С твърди корици
common.buy 9.17 € 17.93 лв
Der kleine Hui Buh - 01/3er Spuk und Hex Box ( Folgen 1,2,3) Ulrike Rogler / Аудио Аудио компактдиск
common.buy 14.30 € 27.96 лв
Elle voulait juste marcher tout droit Sarah Barukh / Книга С меки корици
common.buy 13.83 € 27.05 лв
Běžkyně Peter May / Книга С меки корици
common.buy 3.78 € 7.39 лв
Les Cent Vingt Journées de Sodome Marquis de Sade / Книга С меки корици
common.buy 21.14 € 41.34 лв
Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Verifying Concurrent Processes Using Temporal Logic
Автор B. T. Hailpern
Език Английски език
Корици Книга - С меки корици
Брой страници 209
Баркод 9783540112051
ISBN 3540112057
Код Либристо 01557740
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 700
Размери 155 x 233 x 13

Категории

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

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

Iterative Software Engineering for Multiagent Systems Jürgen Lind / Книга С меки корици
common.buy 61.19 € 119.68 лв
Star Formation in Galaxy Evolution: Connecting Numerical Models to Reality Nickolay Y Gnedin / Книга С меки корици
common.buy 110.99 € 217.07 лв
Surgical Anatomy of Head and Neck Jan Helms / Книга С меки корици
common.buy 141.25 € 276.26 лв
Drive: The Road to Victory Joyz W Riter / Книга С меки корици
common.buy 19.37 € 37.89 лв
Calm with The Very Hungry Caterpillar Eric Carle / Книга С твърди корици
common.buy 8.44 € 16.51 лв
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus / Книга С твърди корици
common.buy 26.89 € 52.59 лв
Top
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Печатни материали Карти
common.buy 18.23 € 35.66 лв
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Книга С меки корици
common.buy 14.81 € 28.98 лв
Business Law MACINTYRE EWAN / Книга С меки корици
common.buy 76.58 € 149.78 лв
Org Mode 9.2 Reference Manual Carsten Dominik / Книга С меки корици
common.buy 18.03 € 35.26 лв
The Devil: His Origin, Greatness and Decadence Albert Reville / Книга С меки корици
common.buy 22.22 € 43.47 лв
Transformation Donna V / Книга С меки корици
common.buy 16.63 € 32.52 лв
Cybersecurity Exposed Raef Meeuwisse / Книга С твърди корици
common.buy 25.13 € 49.14 лв
Anyone Can Be Saved David L. Allen / Книга С твърди корици
common.buy 35.70 € 69.82 лв
Her Majesty the Queen, as Seen by MAC Mark Bryant / Книга С меки корици
common.buy 11.19 € 21.88 лв
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Книга С меки корици
common.buy 19.94 € 39.01 лв
Francis Asbury: Circuit Rider Janet Benge / Книга С меки корици
common.buy 9.94 € 19.45 лв
Too Deep for Words Thelma Hall / Книга С меки корици
common.buy 12.07 € 23.60 лв
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals Creative Designs Journal / Книга С меки корици
common.buy 7.51 € 14.69 лв
North Cape 1943 Edouard A. Groult / Книга С меки корици
common.buy 21.14 € 41.34 лв
Restless in the Grave: A Kate Shugak Novel Dana Stabenow / Книга С меки корици
common.buy 20.26 € 39.62 лв
The Work And Workers Of The British Association For The Advancement Of Science (1884) Cornelius Nicholson / Книга С меки корици
common.buy 20.31 € 39.72 лв
Изгодно
Teaching Entrepreneurship, Volume Two - A Practice-Based Approach Heidi M. Neck / Книга С меки корици
common.buy 48.91 € 95.66 лв
Hardest Job in the World DICKERSON JOHN / Книга С меки корици
common.buy 17.61 € 34.45 лв

Вход

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

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

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

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

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