Software Engineering: Specification, Implementation, Verification

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

Autor: Suad Alagic

Jazyk:

Vazba: Pevná

Vydavatel: Springer International Publishing AG

Dostupnost: Skladem u dodavatele

Odesíláme za 10-13 dnů

1 566 Kč

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

Informace o knize

Autor

Suad Alagic

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2017

Stránek

178

EAN

9783319615172

ISBN

3319615173

Enbook ID

16380746

Vydavatel

Springer International Publishing AG

Hmotnost

490

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Software Engineering: Specification, Implementation, Verification

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také