Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Specification Case Studies in RAISE

Limba englezăengleză
Carte Carte broșată
Carte Specification Case Studies in RAISE Hung Dang Van
Codul Libristo: 01435212
Editura Springer London Ltd, februarie 2002
This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software E... Descrierea completă
? points 257 b
560.17 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Preventive Cardiology and Rehabilitation Russo Nicola / Carte Carte broșată
common.buy 119.70 lei
Der große Fußball-Adventskalender Markus Klein / Carte Carte broșată
common.buy 50.91 lei
deutschen Schmuggler AUGUST SCHRADER / Carte Carte broșată
common.buy 90.11 lei
Bidon 600 ml Coolpack brisk strawberry / Articole de papetărie Articole de papetărie
common.buy 36.58 lei
Ein Taxi zur Bescherung Claudia Matschulla und Arnd Mayer / Videoclip DVD
common.buy 97.33 lei
Reise nach Mar del Plata / Carte Copertă tare
common.buy 74.22 lei
Faszination Manchester (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Calendar / Agendă Calendar
common.buy 118.86 lei
La ciencia humilde : economía para ciudadanos Alfredo Pastor / Carte Carte broșată
common.buy 123.88 lei
Jeho temná magie Roger Zelazny / Carte Carte broșată
common.buy 44.84 lei
Sebevražda Daniel Pískovský / Carte Copertă tare
common.buy 38.36 lei
Lambacher Schweizer Mathematik Analysis Grundkurs, m. 1 CD-ROM Hans Freudigmann / Carte Copertă tare
common.buy 220.07 lei
Place de la Bastille Leon de Winter / Carte Carte broșată
common.buy 70.77 lei
Finsteres Glück Lukas Hartmann / Carte Carte broșată
common.buy 70.77 lei
Die Privatisierung der Bahn in Deutschland - Eine rechtsvergleichende Analyse unter Berücksichtigung von Großbritannien und Russland Andrei Horlau / Carte Carte broșată
common.buy 139.77 lei
Die Schlager Des Jahres 1940 Various / Audio Audio CD
common.buy 76.21 lei
I Love to Brush My Teeth (Danish English Bilingual Bilingual Book for Kids) Kidkiddos Books / Carte Carte broșată
common.buy 91.47 lei
Annales de l'Education Tome 6 GUIZOT-F / Carte Carte broșată
common.buy 155.46 lei
Kľúč do sveta chorváčtina Petra Austová / Carte Copertă tare
common.buy 17.24 lei
Candido o el Optimismo Autor Voltaire / Carte Carte broșată
common.buy 56.86 lei
Kuram ve Uygulamada Sosyal Hizmeti Anlamak Neil Thompson / Carte Carte broșată
common.buy 94.92 lei
Švábik. Prvé hry s rúčkou Barbora Kováčová / Carte Carte broșată
common.buy 30.52 lei
SONATE ARPEGGIONE SCHUBERT FRANZ Carte Carte broșată
common.buy 190.69 lei
WELCOME TO THE MAGIC WORLD OF CAPTAIN SAMOURAI FLO --- CHANT, GUITARE OU PIANO OBISPO PASCAL Carte binding.
common.buy 121.48 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Specification Case Studies in RAISE
Autor Hung Dang Van, Chris George, Tomasz Janowski
Limba engleză
Legare Carte - Carte broșată
Data publicării 2002
Număr pagini 405
EAN 9781852333591
ISBN 1852333596
Codul Libristo 01435212
Editura Springer London Ltd
Greutatea 1310
Dimensiuni 155 x 235 x 23

Categorii

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer science
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Project Cars 2 Game, PS4, PC, Xbox One, Tips, Cheats, Download Guide Unofficial Chala Dar / E-book Adobe ePub DRM
common.buy 93.14 lei
Seek Mia Sheridan / Carte Carte broșată
common.buy 57.28 lei
Top
Making Money Terry Pratchett / Carte Copertă tare
common.buy 101.40 lei
Let It Snow Beth Moran / E-book Adobe ePub DRM
common.buy 24.35 lei
Revelation I J. Vernon McGee / Carte Carte broșată
common.buy 51.11 lei
Alisson's Reading Log Martha Day Zschock / Carte Copertă tare
common.buy 80.81 lei
MongoDB: The Definitive Guide Shannon Bradshaw / E-book Adobe ePub DRM
common.buy 276.32 lei
Operative Dictations in General and Vascular Surgery Jamal J. Hoballah / Carte Carte broșată
common.buy 783.59 lei
Best Writing on Mathematics 2015 Mircea Pitici / E-book Adobe ePub DRM
common.buy 179.40 lei
Tourism and Resilience Richard Butler / Carte Copertă tare
common.buy 726.51 lei
Holiness In Obedience: Teachings of St. John of the Cross Fr Datius Kanjiramukil O C D / Carte Carte broșată
common.buy 37.21 lei
Flight Times: : Prepared for Departure Porter Lafayette / Carte Carte broșată
common.buy 101.93 lei
THE TATTOO ARTIST: INK IS SKIN THIN SUSANA MULLIKIN / Carte Carte broșată
common.buy 101.72 lei
Stephen Shore: Survivors in Ukraine Stephen Shore / Carte Copertă tare
common.buy 353.37 lei
The colours of animals, their meaning and use, especially considered in the case of insects Edward Bagnall Poulton / Carte Carte broșată
common.buy 139.56 lei
A Guide Book of Barber Silver Coins 2nd Edition: A Complete History and Price Guide Q David Bowers / Carte Carte broșată
common.buy 150.44 lei
Women's Influence on Classical Civilization Eireann Marshall / E-book Adobe ePub DRM
common.buy 326.19 lei
Love-Bot: Droidmesh Trilogy Book 2 Billy DeCarlo / Carte Carte broșată
common.buy 67.74 lei
Billy and the Minpins (illustrated by Quentin Blake) Roald Dahl / Audiobook MP3
common.buy 42.23 lei
Trade before Civilization Johan Ling / Carte Copertă tare
common.buy 828.24 lei
Squeaker and Marty: The Lucky Escape Kate Harcourt-Smith / Carte Carte broșată
common.buy 52.89 lei
There Is Nothing So Whole As A Broken Heart Cindy Milstein / Carte Carte broșată
common.buy 100.57 lei
30 days to be a more Traditional Catholic Workbook: this book will help you become a saint Kenneth Loxley / Carte Carte broșată
common.buy 47.25 lei
In Context: the Reade Festschrift Irving Finkel / Carte Carte broșată
common.buy 464.19 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo