Software Engineering: Specification, Implementation, Verification

Name: Software Engineering: Specification, Implementation, Verification
Brand: Springer International Publishing AG
SKU: 9783319615172
Price: 68.56 EUR
Availability: InStock

Autor: Suad Alagic

Jazyk:

Väzba: Pevná

Vydavateľ: Springer International Publishing AG

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-13 dní

68.56 €

This textbook takes a formal approach to teaching software engineering, using not only UML, but also...

Informácie o knihe

Autor

Suad Alagic

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2017

Stránok

178

EAN

9783319615172

ISBN

3319615173

Enbook ID

16380746

Vydavateľ

Springer International Publishing AG

Hmotnosť

490

Rozmery

243 x 163 x 18

Kompletný popis

This textbook 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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Software Engineering: Specification, Implementation, Verification

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež