Software Engineering: Specification, Implementation, Verification

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

Szerző: Suad Alagic

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

26 442 Ft

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

Információk a könyvről

Szerző

Suad Alagic

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2017

oldal

178

EAN

9783319615172

ISBN

3319615173

Enbook ID

16380746

Kiadó

Springer International Publishing AG

Súly

490

Méretek

243 x 163 x 18

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Software Engineering: Specification, Implementation, Verification

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták