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

Verification of Sequential and Concurrent Programs

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification of Sequential and Concurrent Programs Ernst-Rudiger Olderog
Код Либристо: 08577018
Издателство Springer London Ltd, март 2012
This book explores one of the most common approaches to program verification, known as the assertion... Цялото описание
? points 206 b
84.57 €
165.40  лв
Външен склад Изпращаме след 5-8 дни

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

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

PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES BOISLÈVE JULIEN/DARDENAY ALEXANDRA/MONIER FLORENCE / Книга С твърди корици
common.buy 55.11 € 107.79 лв
Подготвяме
Les origines occultistes de la franc-maçonnerie Lozac'hmeur / Книга С меки корици
common.buy 22.77 € 44.54 лв
Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee / Книга С меки корици
common.buy 10.95 € 21.41 лв
Allgemeine Biologie Oscar Hertwig / Книга С меки корици
common.buy 31.41 € 61.43 лв
Мёртвые души Николай Гоголь / Книга С меки корици
common.buy 9.30 € 18.19 лв
Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs / Книга С меки корици
common.buy 9.61 € 18.79 лв
Studiolo Giorgio Agamben / E-книга Adobe ePub DRM
common.buy 11.46 € 22.41 лв
Debats Humanistes Sur La Langue Parlee Dans L'Antiquite Flavio Biondo / Книга С меки корици
common.buy 82.51 € 161.38 лв
Samsø Kulturreiseführer Kristen Benning / Книга С меки корици
common.buy 19.53 € 38.20 лв
Quand les animaux nous font du bien Paoli laurence / Книга С меки корици
common.buy 25.80 € 50.47 лв
NATURALEZA DE LA POLITICA, LA CASTELLANO / Книга Книга
common.buy 11.56 € 22.61 лв
Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller / Книга С меки корици
common.buy 15.16 € 29.65 лв
Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre PIERREFEUX-D / Книга С меки корици
common.buy 28.07 € 54.89 лв
Esclave à Alger. Récit de captivité de Joao Mascarenhas (1621-1626) João de Carvalho Mascarenhas / Книга С меки корици
common.buy 28.79 € 56.30 лв
Le second crime de la Dame en noir - roman Lorde Книга С меки корици
common.buy 23.95 € 46.85 лв
Dilemma Mutterschaft Claudia Winkler / Книга С меки корици
common.buy 62.46 € 122.17 лв
Kleine Feigheiten Martina Naubert / Книга С меки корици
common.buy 9.56 € 18.69 лв
Kinder Schlager Party Frank Und Die Nervensägen Zander / Аудио Аудио компактдиск
common.buy 22.93 € 44.84 лв
Der Deutsche Aufsatz: Neun Abtheilungen Stilistischer Aufgaben Und Ausarbeitungen (1866) Ernst Ludwig Rochholz / Книга С меки корици
common.buy 36.14 € 70.68 лв
Trio GPG 5. Schulbuchtexte in einfacher Sprache. Mittelschulen. Bayern Thomas Bauer / Книга С меки корици
common.buy 29.76 € 58.21 лв
Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S / Книга С меки корици
common.buy 36.70 € 71.79 лв
Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN / Книга Книга
common.buy 18.86 € 36.89 лв

This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.

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

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

Пълно заглавие Verification of Sequential and Concurrent Programs
Автор Ernst-Rudiger Olderog
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2012
Брой страници 502
Баркод 9781447125136
ISBN 9781447125136
Код Либристо 08577018
Издателство Springer London Ltd
Тегло 746
Размери 156 x 235 x 28

Категории

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

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

Who Wrote The Book of Death? MR Steve Liskow / Книга С меки корици
common.buy 16.55 € 32.37 лв
Cogat Practice Test (Kindergarten and Grade 1) Bright Minds Publishing Seattle Wa / Книга С меки корици
common.buy 28.17 € 55.09 лв
The United States and the Developing Economies the United States and the Developing Economies Gustav Ranis / Книга С меки корици
common.buy 25.03 € 48.96 лв
Tuttle Learner's Chinese-English Dictionary Li Dong / Книга С меки корици
common.buy 37.17 € 72.69 лв
Divine Human in the Scri[tures Tayler Lewis / Книга С твърди корици
common.buy 38.04 € 74.40 лв
CHRONOLOGY; OR, THE HISTORIAN'S COMPANIO THOMAS TEGG / Книга С твърди корици
common.buy 34.24 € 66.96 лв
Parenting Skills Homework Planner (w/ Download) Sarah Edison Knapp / Книга С меки корици
common.buy 72.85 € 142.48 лв
Real Estate Smart: The New Home Buying Guide Matt Parker / Книга С меки корици
common.buy 11.15 € 21.81 лв
Stars in His Eyes Marti Gironell / Книга С твърди корици
common.buy 25.91 € 50.67 лв
Hawks Kettle, Puffins Wheel Susan Vande Griek / Книга С твърди корици
common.buy 18.71 € 36.59 лв
Fighting Chances: MM Enemies to Lovers Anthology E. M. Leya / Книга С меки корици
common.buy 26.37 € 51.57 лв
Alfa Romeo Alfasud Martin Chris Martin / Книга С твърди корици
common.buy 31.56 € 61.73 лв
Come Out Swinging Lucia Trimbur / E-книга Adobe ePub DRM
common.buy 40.71 € 79.63 лв
"JEALOUSY" Sarah Flowers / Книга С меки корици
common.buy 15.52 € 30.36 лв
AI in Modern Architecture and Design Asmaa Ibrahim / Книга С твърди корици
common.buy 120.10 € 234.89 лв
New Channels of Music Distribution C. Michael Brae / Книга С меки корици
common.buy 57.94 € 113.32 лв
Superconductors at the Nanoscale Roger Wördenweber / Книга С твърди корици
common.buy 166.16 € 324.99 лв
Moving Past Cindy Cipriani / Книга С твърди корици
common.buy 30.12 € 58.92 лв
Low-Born Lass Mary Emma Martin / Книга С меки корици
common.buy 25.03 € 48.96 лв
Eighth Method Brian Bain / Книга С меки корици
common.buy 11.72 € 22.92 лв
Top
Social work in end-of-life and palliative care Malcolm Payne / Книга С меки корици
common.buy 35.21 € 68.87 лв
Housing in Rural America Joseph N. Belden / Книга С меки корици
common.buy 56.96 € 111.41 лв
Thought & Culture of the English Renaissance Elizabeth M. Nugent / Книга С меки корици
common.buy 115.01 € 224.93 лв
Who Are We?, English edition Samuel P. Huntington / Книга С меки корици
common.buy 16.45 € 32.17 лв

Вход

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

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

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

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

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