Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Sprache

Englisch

Buch Broschur

Libristo-Code: 01435212

Verlag Springer London Ltd, Februar 2002

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software E... Vollständige Beschreibung

Libristo-Code: 01435212

257 b

105.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Preventive Cardiology and Rehabilitation Russo Nicola

Broschur

22.49 €

Yoga : Anatomie et mouvements 3ème édition Kaminoff

Broschur

37.79 €

Ein Taxi zur Bescherung Claudia Matschulla und Arnd Mayer

DVD

19.19 €

Reise nach Mar del Plata

Hardcover

14.70 €

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

Hardcover

3.59 €

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

Broschur

17.19 €

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

binding.

24.09 €

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

Broschur

5.99 €

La ciencia humilde : economía para ciudadanos Alfredo Pastor

Broschur

24.29 €

Die Schlager Des Jahres 1940 Various

Audio CD

14.29 €

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

Broschur

27.95 €

Finsteres Glück Lukas Hartmann

Broschur

14.00 €

Place de la Bastille Leon de Winter

Broschur

14.00 €

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

Hardcover

41.29 €

Sebevražda Daniel Pískovský

Hardcover

7.19 €

Jeho temná magie Roger Zelazny

Broschur

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Specification Case Studies in RAISE

Autor Hung Dang Van, Chris George, Tomasz Janowski

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2002

Anzahl der Seiten 405

EAN 9781852333591

ISBN 1852333596

Libristo-Code 01435212

Verlag Springer London Ltd

Gewicht 1310

Abmessungen 155 x 235 x 23

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Betriebssysteme

EDV und Informationstechnologie > Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert