Software Engineering: Specification, Implementation, Verification

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

Autor: Suad Alagic

Limbă:

Legare: Copertă tare

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 10-13 zile

380.22 lei

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

Informații despre carte

Autor

Suad Alagic

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2017

Pagini

178

EAN

9783319615172

ISBN

3319615173

Enbook ID

16380746

Editura

Springer International Publishing AG

Greutate

490

Dimensiuni

243 x 163 x 18

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Software Engineering: Specification, Implementation, Verification

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și