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

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Specification Case Studies in RAISE

Name: Specification Case Studies in RAISE
Brand: Springer London Ltd
SKU: 01435212
Price: 106.33 EUR
Availability: InStock
Author: Hung Dang Van
ISBN: 9781852333591

Hung Dang Van

Chris George

Tomasz Janowski

Език

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

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

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

Издателство Springer London Ltd, февруари 2002

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software E... Цялото описание

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

257 b

106.33 €

207.97 лв

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

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

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

Preventive Cardiology and Rehabilitation Russo Nicola

С меки корици

22.75 € 44.50 лв

Yoga : Anatomie et mouvements 3ème édition Kaminoff

С меки корици

38.27 € 74.85 лв

Bidon 600 ml Coolpack brisk strawberry

Канцеларски материали

7.29 € 14.25 лв

Ein Taxi zur Bescherung Claudia Matschulla und Arnd Mayer

DVD

19.39 € 37.92 лв

Reise nach Mar del Plata

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

14.06 € 27.51 лв

Kľúč do sveta chorváčtina Petra Austová

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

3.51 € 6.87 лв

I Love to Brush My Teeth (Danish English Bilingual Bilingual Book for Kids) Kidkiddos Books

С меки корици

16.55 € 32.36 лв

WELCOME TO THE MAGIC WORLD OF CAPTAIN SAMOURAI FLO --- CHANT, GUITARE OU PIANO OBISPO PASCAL Книга

binding.

24.36 € 47.64 лв

Švábik. Prvé hry s rúčkou Barbora Kováčová

С меки корици

6.10 € 11.93 лв

La ciencia humilde : economía para ciudadanos Alfredo Pastor

С меки корици

24.56 € 48.04 лв

Die Schlager Des Jahres 1940 Various

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

14.48 € 28.31 лв

Sozialkritik und Darstellung des Vierten Standes im "Woyzeck" Maik Bubenzer

С меки корици

26.53 € 51.88 лв

Finsteres Glück Lukas Hartmann

С меки корици

13.44 € 26.29 лв

Place de la Bastille Leon de Winter

С меки корици

13.44 € 26.29 лв

Lambacher Schweizer Mathematik Analysis Grundkurs, m. 1 CD-ROM Hans Freudigmann

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

41.79 € 81.73 лв

Sebevražda Daniel Pískovský

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

7.29 € 14.25 лв

Jeho temná magie Roger Zelazny

С меки корици

8.27 € 16.18 лв

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. The complete specifications for all of the case studies and the RAISE tools (both source code and executables) used to process them are available at: http://www.iist.unu.edu/RAISE_Case_Studies/ This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of inte rest to academics and students on advanced formal methods courses.