Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 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 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Verification of Sequential and Concurrent Programs

Name: Verification of Sequential and Concurrent Programs
Brand: Springer London Ltd
SKU: 01434251
Price: 106.47 EUR
Availability: InStock
Author: Krzysztof R. Apt
ISBN: 9781848827448

Krzysztof R. Apt

Ernst-Rüdiger Olderog

Frank S. de Boer

Език

Английски език

Книга С твърди корици

Код Либристо: 01434251

Издателство Springer London Ltd, октомври 2009

Computer programs are becoming more and more part of systems that we use to rely on in our daily liv... Цялото описание

Код Либристо: 01434251

257 b

106.47 €

208.23 лв

Външен склад Изпращаме след 10-13 дни

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

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

Alebrijes: (Alebrijes Spanish Edition) Higuera

С меки корици

10.82 € 21.16 лв

Le voyage dans l'Est CHRISTINE ANGOT

Аудио компактдиск

28.74 € 56.20 лв

Trafiony, zatopiony. Pająk i Mucha. Tom 7 Kai Pannen

С твърди корици

9.58 € 18.73 лв

Le Guide de la forêt Eva-Maria Dreyer

С меки корици

38.32 € 74.94 лв

Carletto e la banda dei cappucci Rotraut Susanne Berner

Дипляна

15.84 € 30.98 лв

ASTÉRIX EN LUSITANIA RENE / FABCARO GOSCINNY

С твърди корици

11.65 € 22.78 лв

Familienbunt Beate Reinermann

С меки корици

9.68 € 18.93 лв

Grundriss Der Kunstgeschichte P. Albert Kuhn

С меки корици

44.37 € 86.79 лв

Lecturas Adolescentes - El sueno de Irina F. Mart-Mol

С меки корици

12.16 € 23.79 лв

Tradition und Verfassungsrecht Walter Leisner

С меки корици

56.23 € 109.98 лв

Mega-Event-Macher Ronald Hitzler

С меки корици

35.00 € 68.46 лв

Moderne Kirchenbauten als Erinnerungsräume und Gedächtnisorte Kai Kappel

С меки корици

39.04 € 76.36 лв

Vater, Tochter, Schwiegersohn Jessica Quinlan

С твърди корици

43.75 € 85.57 лв

Kommunalpolitik der Zukunft Jürgen Kegelmann

С меки корици

25.01 € 48.91 лв

Les Trois Filles du Capitán María Dueñas

С меки корици

13.46 € 26.32 лв

Beschreibung der antiken Münzen - Erster Band Alfred von Sallet

С меки корици

37.80 € 73.93 лв

Muneco de Nieve Janet Evans

С меки корици

12.89 € 25.21 лв

El oso en el parque de juegos Dolf Verroen

С меки корици

16.15 € 31.59 лв

12 Random Words / 12 Palavras ao Acaso Fabiana Elisa Martinez

С меки корици

22.00 € 43.04 лв

The Gospel According to Saint Luke British & Foreign Bible Society

С твърди корици

30.76 € 60.15 лв

Le cahier d'Eve - Petits carreaux, 96p, A5 - Ballerine

Тефтер

11.34 € 22.17 лв

SVEN AU PAYS DES GLACES Arnaud Alméras

С твърди корици

8.02 € 15.69 лв

Computer programs are becoming more and more part of systems that we use to rely on in our daily lives. The proper functioning and safety of these systems is of paramount importance. A major challenger for computer science is to develop methods that ensure program correctness. This textbook provides a structured introduction to program verification using an assertional approach - so named because it relies on the use of assertions that are attached to program control points. Sequential programs in the form of deterministic and nondeterministic programs, and concurrent programs in the form of parallel and distributed programs are considered within the context of their partial and total correctness. The use of these proof systems is demonstrated with the help of case studies. In particular solutions to classical problems such as mutual exclusion are formally verified. Each chapter concludes with exercises and bibliographic remarks for further reading. As a result, this text will be appropriate for either an introductory course on program verification for upper division of undergraduate studies or for graduate studies. It can also be used as an introduction to operational semantics. Outlines of possible courses are presented in the preface of the book.