Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Specification Case Studies in RAISE

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

Hung Dang Van

Chris George

Tomasz Janowski

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01435212

Nakladnici Springer London Ltd, veljača 2002

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software E... Cijeli opis

Libristo kod: 01435212

244 b

100.93 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Preventive Cardiology and Rehabilitation Russo Nicola

Meki uvez

21.48 €

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

Meki uvez

16.61 €

Yoga : Anatomie et mouvements 3ème édition Kaminoff

Meki uvez

35.06 €

Reise nach Mar del Plata

Tvrdi uvez

13.37 €

Bidon 600 ml Coolpack brisk strawberry

Proizvodi od papira

6.58 €

Ein Taxi zur Bescherung Claudia Matschulla und Arnd Mayer

DVD

17.73 €

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

Tvrdi uvez

3.03 €

WELCOME TO THE MAGIC WORLD OF CAPTAIN SAMOURAI FLO --- CHANT, GUITARE OU PIANO OBISPO PASCAL Knjiga

binding.

22.18 €

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

Meki uvez

5.46 €

Candido o el Optimismo Autor Voltaire

Meki uvez

10.23 €

deutschen Schmuggler AUGUST SCHRADER

Meki uvez

16.21 €

Annales de l'Education Tome 6 GUIZOT-F

Meki uvez

28.27 €

La ciencia humilde : economía para ciudadanos Alfredo Pastor

Meki uvez

21.07 €

Die Schlager Des Jahres 1940 Various

Audio CD

13.77 €

Die Privatisierung der Bahn in Deutschland - Eine rechtsvergleichende Analyse unter Berücksichtigung von Großbritannien und Russland Andrei Horlau

Meki uvez

25.12 €

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

Meki uvez

25.12 €

Finsteres Glück Lukas Hartmann

Meki uvez

12.66 €

Place de la Bastille Leon de Winter

Meki uvez

12.66 €

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

Tvrdi uvez

39.82 €

Sebevražda Daniel Pískovský

Tvrdi uvez

6.78 €

Jeho temná magie Roger Zelazny

Meki uvez

7.39 €

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.