Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Specification Case Studies in RAISE

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

Hung Dang Van

Chris George

Tomasz Janowski

Lingua

Inglese

Libro In brossura

Codice Libristo: 01435212

Casa editrice Springer London Ltd, febbraio 2002

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

Codice Libristo: 01435212

257 b

105.09 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Preventive Cardiology and Rehabilitation Russo Nicola

In brossura

22.49 €

Yoga : Anatomie et mouvements 3ème édition Kaminoff

In brossura

37.79 €

Bidon 600 ml Coolpack brisk strawberry

Articoli di cancelleria

7.19 €

Ein Taxi zur Bescherung Claudia Matschulla und Arnd Mayer

DVD

19.19 €

Reise nach Mar del Plata

Rigido

13.89 €

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

Rigido

3.49 €

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

In brossura

17.19 €

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

binding.

24.09 €

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

In brossura

5.99 €

La ciencia humilde : economía para ciudadanos Alfredo Pastor

In brossura

23.19 €

Die Schlager Des Jahres 1940 Various

CD audio

14.29 €

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

In brossura

26.19 €

Finsteres Glück Lukas Hartmann

In brossura

13.29 €

Place de la Bastille Leon de Winter

In brossura

13.29 €

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

Rigido

41.29 €

Sebevražda Daniel Pískovský

Rigido

7.19 €

Jeho temná magie Roger Zelazny

In brossura

8.19 €

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.