Carte Software Engineering: Specification, Implementation, Verification Suad Alagic

Software Engineering: Specification, Implementation, Verification

Autor: Suad Alagic
Limbă: engleză
Legare: Copertă tare
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
Limbă
engleză
Legare
Carte - Copertă tare
Publicat
2017
Pagini
178
EAN
9783319615172
ISBN
3319615173
Enbook ID
16380746
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

Erasmus

Robert B. Drummond
149.45 lei
114.11 lei
36.04 lei
129.00 lei
41.10 lei

Decentralized Globalization

Dr Olga Magdalena Lazin
219.72 lei
279.77 lei

Labor Day

Joseph Farley
134.06 lei

Social Studies

Jane Francesca Wilde
229.04 lei
553.98 lei

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

285.95 lei

Ragna Crimson. Tom 7

Daiki Kobayashi
45.56 lei

Hamnaren

Diverse
16.19 lei
128.79 lei
47.18 lei

Secreto del Bamb

Ismael Cala
74.82 lei

Ilmiosam

Germana Charlie
50.01 lei