Software Engineering: Specification, Implementation, Verification

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

Автор: Suad Alagic

Език:

Корици: С твърди корици

Издател: Springer International Publishing AG

Наличност: Външен склад

Изпращаме след 10-13 дни

72.30 € 141.42 лв

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

Информация за книгата

Автор

Suad Alagic

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2017

страници

178

EAN

9783319615172

ISBN

3319615173

Enbook ID

16380746

Издател

Springer International Publishing AG

Теглоt

490

Размери

243 x 163 x 18

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Software Engineering: Specification, Implementation, Verification

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също