Проверка на състоянието на поръчката
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 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

In das Feuer James Rosone / Книга С меки корици
common.buy 15.79 € 30.88 лв
PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan / Книга С меки корици
common.buy 26.35 € 51.54 лв
L-ASPARGINASE- Ein potentes Bio-Therapie-Enzym fur Krebs Sahoo Debasish Sahoo / Книга С меки корици
common.buy 51.88 € 101.48 лв
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Печатни материали Карта
common.buy 7.35 € 14.37 лв
Quadern Clau Q-9 Divisibilitat. Matematiques. Jimeno Jimenez / Книга С меки корици
common.buy 8.18 € 15.99 лв
Las mutuas de accidentes de trabajo y enfermedades profesionales. Doctrina, jurisprudencia, formular José Francisco Blasco Lahoz / Книга binding.
common.buy 103.10 € 201.65 лв
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Книга binding.
common.buy 53.18 € 104.01 лв
Taśma Washi Tape Neon Narcissus / Книга binding.
common.buy 30.03 € 58.73 лв
Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Книга С меки корици
common.buy 9.32 € 18.22 лв
Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven! Vasco Kintzel / Книга С меки корици
common.buy 9.47 € 18.52 лв
Bibliotheken Candida Höfer / Книга С твърди корици
common.buy 78.66 € 153.84 лв
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Книга С меки корици
common.buy 29.77 € 58.23 лв
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Книга С меки корици
common.buy 24.13 € 47.19 лв
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-книга Adobe ePub DRM
common.buy 8.49 € 16.60 лв
Si te vuelvo a ver manana Robbie Couch / E-книга Adobe ePub DRM
common.buy 10.40 € 20.35 лв
Alimentární infekce Václav Vacek / Книга С твърди корици
common.buy 5.90 € 11.54 лв
De La Signification Des Mots, Volume 2... Auguste Savagner / Книга С твърди корици
common.buy 36.40 € 71.19 лв
Como disciplinar a tus hijos Roy Lessin / Книга С меки корици
common.buy 10.82 € 21.16 лв
Běžkyně Peter May / Книга С меки корици
common.buy 3.78 € 7.38 лв
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Книга С меки корици
common.buy 6.26 € 12.24 лв
Bree Tannerin Ikinci Hayati Stephenie Meyer / Книга С меки корици
common.buy 12.89 € 25.21 лв
Les Cent Vingt Journées de Sodome Marquis de Sade / Книга С меки корици
common.buy 21.12 € 41.31 лв
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Книга С меки корици
common.buy 15.22 € 29.77 лв
Veure, tocar i aprendre. Vesteix-te! Diversos / Книга С меки корици
common.buy 11.23 € 21.97 лв
Героиня & Полиглот
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.21 € 119.71 лв
Surgical Anatomy of Head and Neck Jan Helms / Книга С меки корици
common.buy 148.93 € 291.28 лв
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus / Книга С твърди корици
common.buy 28.48 € 55.70 лв
Allegations Against the Countess of Strathmore, Given in to the Court of Arches, in Doctors Commons, by Andrew Robinson Bowes, Esq. Andrew Robinson Stoney Bowes / Книга С меки корици
common.buy 16.31 € 31.89 лв
Data Mining Patterns Maguelonne Teisseire / Книга С твърди корици
common.buy 200.56 € 392.26 лв
Gruffalo Julia Donaldson / Книга Книга
common.buy 21.28 € 41.62 лв
One Man's Dream: My Town, My Team, My Time. Frank White / Книга С твърди корици
common.buy 23.61 € 46.18 лв
Francis Asbury: Circuit Rider Janet Benge / Книга С меки корици
common.buy 9.94 € 19.44 лв
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Книга С меки корици
common.buy 19.93 € 38.98 лв
Her Majesty the Queen, as Seen by MAC Mark Bryant / Книга С меки корици
common.buy 12.89 € 25.21 лв
Cybersecurity Exposed Raef Meeuwisse / Книга С твърди корици
common.buy 25.11 € 49.11 лв
The Devil: His Origin, Greatness and Decadence Albert Reville / Книга С меки корици
common.buy 22.21 € 43.44 лв
Drive: The Road to Victory Joyz W Riter / Книга С меки корици
common.buy 19.36 € 37.87 лв
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Книга С меки корици
common.buy 14.81 € 28.96 лв
Top
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Печатни материали Карти
common.buy 18.22 € 35.64 лв
Anyone Can Be Saved David L. Allen / Книга С твърди корици
common.buy 35.68 € 69.77 лв
Calm with The Very Hungry Caterpillar Eric Carle / Книга С твърди корици
common.buy 8.44 € 16.50 лв
Org Mode 9.2 Reference Manual Carsten Dominik / Книга С меки корици
common.buy 18.02 € 35.24 лв
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals Creative Designs Journal / Книга С меки корици
common.buy 7.50 € 14.68 лв
Restless in the Grave: A Kate Shugak Novel Dana Stabenow / Книга С меки корици
common.buy 20.24 € 39.59 лв
The Work And Workers Of The British Association For The Advancement Of Science (1884) Cornelius Nicholson / Книга С меки корици
common.buy 20.29 € 39.69 лв
Изгодно
Teaching Entrepreneurship, Volume Two - A Practice-Based Approach Heidi M. Neck / Книга С меки корици
common.buy 38.01 € 74.33 лв
UNTITLED FORSAKEN TRILOGY BOOK 3 RJ BARKER / Книга С меки корици
common.buy 20.09 € 39.29 лв
Gene and Cell Therapy: Biology and Applications Giridhara R. Jayandharan / E-книга Adobe ePub DRM
common.buy 251.31 € 491.52 лв

Вход

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

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

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

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

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