Specification Case Studies in RAISE.

Lingua: inglese

Editore: London Springer Verlag, 2002

1852333596 / 9781852333591

Da: CSG Onlinebuch GMBH, Darmstadt, GermaniaCSG Onlinebuch GMBH

Venditore con 5 stelle

Venditore AbeBooks dal 6 settembre 2022

Brossura

Condizione: Usato - Molto buono

EUR 37,32

EUR 95,00 spedizione 
Spedito da Germania a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

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.…

Codice articolo 15631

Titolo
Specification Case Studies in RAISE.
Autore
H Dang Van
Editore
London Springer Verlag
Anno di pubblicazione
2002
Condizione
Gut
Rilegatura
Softcover
Lingua
inglese
ISBN 10
1852333596
ISBN 13
9781852333591

CSG Onlinebuch GMBH

Darmstadt, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 6 settembre 2022

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 60 a 60 giorni lavorativiDa 60 a 60 giorni lavorativi
Primo articoloEUR 95,00EUR 110,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno
  • PayPal

Descrizione dello Store

Online Handel mit gebrauchten und antiquarischen Büchern.

Specializzazione

Gebrauchtbücher

Informazioni sull’azienda del venditore

CSG Onlinebuch GMBH

Bunsenstr. 6
Darmstadt, Germania 64293