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

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

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

PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES BOISLÈVE JULIEN/DARDENAY ALEXANDRA/MONIER FLORENCE / Книга С твърди корици
common.buy 56.49 € 110.48 лв
Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller / Книга С меки корици
common.buy 15.26 € 29.84 лв
Мёртвые души Николай Гоголь / Книга С меки корици
common.buy 9.36 € 18.30 лв
Samsø Kulturreiseführer Kristen Benning / Книга С меки корици
common.buy 19.91 € 38.94 лв
Quand les animaux nous font du bien Paoli laurence / Книга С меки корици
common.buy 27.00 € 52.81 лв
Le second crime de la Dame en noir - roman Lorde Книга С меки корици
common.buy 25.14 € 49.16 лв
Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre PIERREFEUX-D / Книга С меки корици
common.buy 28.24 € 55.23 лв
Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN / Книга Книга
common.buy 18.98 € 37.12 лв
Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee / Книга С меки корици
common.buy 11.27 € 22.05 лв
Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S / Книга С меки корици
common.buy 36.93 € 72.23 лв
Debats Humanistes Sur La Langue Parlee Dans L'Antiquite Flavio Biondo / Книга С меки корици
common.buy 83.02 € 162.38 лв
Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs / Книга С меки корици
common.buy 9.67 € 18.91 лв

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.65 € 32.57 лв
Real Estate Smart: The New Home Buying Guide Matt Parker / Книга С меки корици
common.buy 11.22 € 21.95 лв
"JEALOUSY" Sarah Flowers / Книга С меки корици
common.buy 15.62 € 30.55 лв
Hawks Kettle, Puffins Wheel Susan Vande Griek / Книга С твърди корици
common.buy 18.83 € 36.82 лв
Parenting Skills Homework Planner (w/ Download) Sarah Edison Knapp / Книга С меки корици
common.buy 73.35 € 143.46 лв
CHRONOLOGY; OR, THE HISTORIAN'S COMPANIO THOMAS TEGG / Книга С твърди корици
common.buy 34.45 € 67.38 лв
Tuttle Learner's Chinese-English Dictionary Li Dong / Книга С меки корици
common.buy 38.43 € 75.17 лв
Eighth Method Brian Bain / Книга С меки корици
common.buy 11.79 € 23.06 лв
Superconductors at the Nanoscale Roger Wördenweber / Книга С твърди корици
common.buy 167.19 € 327.00 лв
Top
Who Are We?, English edition Samuel P. Huntington / Книга С меки корици
common.buy 16.55 € 32.37 лв
Housing in Rural America Joseph N. Belden / Книга С меки корици
common.buy 57.47 € 112.40 лв
Social work in end-of-life and palliative care Malcolm Payne / Книга С меки корици
common.buy 35.43 € 69.30 лв
The United States and the Developing Economies the United States and the Developing Economies Gustav Ranis / Книга С меки корици
common.buy 25.19 € 49.26 лв

Вход

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

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

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

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

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