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

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Modeling in Event-B

Name: Modeling in Event-B
Brand: Cambridge University Press
SKU: 04095926
Price: 178.74 EUR
Availability: InStock
Author: Jean-Raymond Abrial
ISBN: 9780521895569

Jean-Raymond Abrial

Език

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

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

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

Издателство Cambridge University Press, май 2010

A practical text suitable for an introductory or advanced course in formal methods, this book presen... Цялото описание

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

433 b

178.74 €

349.59 лв

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

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

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

El instituto Tavistock / The Tavistock Institute DANIEL ESTULIN

С меки корици

10.27 € 20.09 лв

Konzeption, Durchfuhrung und Evaluation einer Verkaufsschulung zur Steigerung der Kundenorientierung Ulrike Lorenz

С меки корици

69.72 € 136.36 лв

Die 55 wichtigsten Fälle Schuldrecht AT Achim Wüst

С меки корици

17.71 € 34.64 лв

Kosken kohinaa ja raamin rousketta Matti Vuorikoski

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

20.65 € 40.39 лв

Masken Cupido

MP3

3.40 € 6.66 лв

Ach, holčičko William Saroyan

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

4.69 € 9.18 лв

Martynka i przygoda z psem Gilbert Delahaye

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

5.57 € 10.90 лв

Chłopak, który jej się spodobał wcale nie jest chłopakiem. Tom 3 Sumiko Arai

С меки корици

8.00 € 15.65 лв

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org.