Specification Case Studies in RAISE.

Langue : anglais

Edité par London Springer Verlag, 2002

1852333596 / 9781852333591

Vendeur : CSG Onlinebuch GMBH, Darmstadt, AllemagneCSG Onlinebuch GMBH

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 6 septembre 2022

Livre broché

Etat: Occasion - Assez bon

EUR 37,32

EUR 95,00 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Gebraucht - Gut Zustand: Gut, Mängelexemplar, XV, 405 pp. About this book: 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. Additional resources and complete specifications for all of the case studies and the RAISE tools used to process them, are available on the World Wide Web. 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 interest to academics and students on advanced formal methods courses. Written for software engineers.…

N° de réf. du vendeur 15631

Titre
Specification Case Studies in RAISE.
Auteur
H Dang Van
Éditeur
London Springer Verlag
Année de publication
2002
État de l'article
Gut
Reliure
Softcover
Langue
anglais
ISBN à 10 chiffres
1852333596
ISBN à 13 chiffres
9781852333591

CSG Onlinebuch GMBH

Darmstadt, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 6 septembre 2022

Frais d'expédition de Allemagne vers Etats-Unis

Article60 à 60 jours ouvrés60 à 60 jours ouvrés
Premier articleEUR 95,00EUR 110,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque
  • Paypal

Description de la boutique

Online Handel mit gebrauchten und antiquarischen Büchern.

Spécialité

Gebrauchtbücher

Profil professionnel du vendeur

CSG Onlinebuch GMBH

Bunsenstr. 6
Darmstadt, Allemagne 64293

CSG Onlinebuch GMBH
Geschäftsführer Stefan Gude
Bunsenstr. 6
64293 Darmstadt
Deutschland

Finanzamt Darmstadt HRB5604
Ust.-ID: DE147863163