Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Constructing Correct Software

Name: Constructing Correct Software
Brand: Springer, Berlin
SKU: 01435362
Price: 58.22 EUR
Availability: InStock
Author: John Cooke
ISBN: 9781852338206

John Cooke

Език

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

Книга С меки корици

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

Издателство Springer, Berlin, ноември 2004

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its... Цялото описание

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

142 b

58.22 €

113.87 лв

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

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

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

Die elektrosensible Diagnostik in der Neurologie J. R. Jörg

С меки корици

55.55 € 108.65 лв

El libro de Nuréa ANTON PARKS

С меки корици

19.58 € 38.29 лв

How to Use Psychological Research Tracey Elder

С меки корици

30.52 € 59.70 лв

UNE MORT TRES DOUCE Simone de Beauvoir

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

8.89 € 17.38 лв

Bim Bum Bam Maria Girón

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

19.27 € 37.68 лв

Anti-Foucault Manfred Dahlmann

С меки корици

37.31 € 72.96 лв

Psicologia clinica perinatale. Dalla teoria alla pratica

С меки корици

37.46 € 73.27 лв

Qui sont les députés français ? Olivier COSTA Книга

С меки корици

16.75 € 32.76 лв

Neue Beitrage Zur Naturgeschichte Der Cladoceren: Crustacea Cladocera (1863) J. Eduard Schoedler

С меки корици

21.12 € 41.30 лв

Au Bonheur des Dames Émile Zola

С меки корици

12.53 € 24.52 лв

Inteligencia Sexual: Manual de Mantenimiento Lorenzo Campins

С меки корици

14.69 € 28.74 лв

Warum werde ich immer enttäuscht? Wie man durch Selbstreflexion alte Verhaltensmuster auflöst. (Neuauflage) Deno Licina

С меки корици

10.53 € 20.60 лв

EL VINO Y LA VIÑA TIM UNWIN

С меки корици

29.65 € 57.99 лв

Je länger ein Blinder lebt, desto mehr sieht er Hans Carl Artmann

С меки корици

16.03 € 31.35 лв

Traktat L'va Tolstogo "Chto takoe iskusstvo?" i ego znachenie Jeka Vardoshvili

С меки корици

28.16 € 55.07 лв

Geschaftsmodelle fur AAL-Loesungen entwickeln Veronika Hornung-Prahauser

С меки корици

7.65 € 14.97 лв

45 Recettes de Repas pour la Reduction des Crampes musculaires JOE CORREA

С меки корици

20.14 € 39.39 лв

Rapports Sur La Fabrique d'Eaux Minerales Artificielles de M. Bourgeois Aine ""

С меки корици

12.64 € 24.72 лв

Régimen fiscal de las cooperativas Sofía Arana Landín

С меки корици

22.04 € 43.11 лв

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of (necessarily correct) algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Based on teaching material used extensively at Loughborough University, John Cooke introduces the basics, using simple examples and lots of detailed working (which can often be re-used). §Constructing Correct Software will provide invaluable reading for students and practitioners of Computer Science and Software Engineering to whom correctness of software is of prime importance.