Software Engineering: Specification, Implementation, Verification

Lingua: inglese

Editore: Springer, 2017

3319615173 / 9783319615172

Da: Home-set, Mannheim, GermaniaHome-set

Venditore con 5 stelle

Venditore AbeBooks dal 13 aprile 2026

Rilegato

Condizione: Nuovo

EUR 93,61

EUR 49,90 spedizione 
Spedito da Germania a U.S.A.

Quantità: 2 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is given the attention that is required in order to produce a successful software project.?Uses constraints in all phases of software developmentFollows recent developments in software technologiesTechnical coverage of data management issues and software verificationIllustrated throughout to present analysis, specification, implementation and verification of multiple applicationsIncludes end-of-chapter exercises and Instructor Presentation Slides Sprache: Englisch Gewicht in Gramm: 413.

Titolo
Software Engineering: Specification, Implementation, Verification
Autore
Suad Alagi?
Editore
Springer
Anno di pubblicazione
2017
Condizione
Neu
Rilegatura
Gebundene Ausgabe
Lingua
inglese
ISBN 10
3319615173
ISBN 13
9783319615172
Peso dell'articolo
413 grammi

Home-set

Mannheim, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 13 aprile 2026

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

ArticoloDa 10 a 12 giorni lavorativiDa 8 a 10 giorni lavorativi
Primo articoloEUR 49,90EUR 75,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

Specializzazione

Buch

Informazioni sull’azienda del venditore

Home-set

Germania