Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Specification Case Studies in RAISE

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

Hung Dang Van

Chris George

Tomasz Janowski

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01435212

Nakladatelství Springer London Ltd, únor 2002

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software E... Celý popis

Libristo kód: 01435212

244 b

2 438 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Preventive Cardiology and Rehabilitation Russo Nicola

Brožovaná

519 Kč

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

Brožovaná

381 Kč

Yoga : Anatomie et mouvements 3ème édition Kaminoff

Brožovaná

883 Kč

Reise nach Mar del Plata

Pevná

304 Kč

Bidon 600 ml Coolpack brisk strawberry

Papírenské zboží

168 Kč

Ein Taxi zur Bescherung Claudia Matschulla und Arnd Mayer

DVD

448 Kč

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

Pevná

70 Kč

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

binding.

560 Kč

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

Brožovaná

119 Kč

Candido o el Optimismo Autor Voltaire

Brožovaná

235 Kč

deutschen Schmuggler AUGUST SCHRADER

Brožovaná

391 Kč

Annales de l'Education Tome 6 GUIZOT-F

Brožovaná

651 Kč

La ciencia humilde : economía para ciudadanos Alfredo Pastor

Brožovaná

509 Kč

Die Schlager Des Jahres 1940 Various

Audio CD

316 Kč

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

Brožovaná

571 Kč

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

Brožovaná

571 Kč

Finsteres Glück Lukas Hartmann

Brožovaná

307 Kč

Place de la Bastille Leon de Winter

Brožovaná

307 Kč

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

Pevná

963 Kč

Sebevražda Daniel Pískovský

Pevná

165 Kč

Jeho temná magie Roger Zelazny

Brožovaná

146 Kč

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.