Software Engineering: Specification, Implementation, Verification

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

Autor: Suad Alagic

Język:

Oprawa: Twarda

Wydawca: Springer International Publishing AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-13 dni

290.21 zł

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

Informacje o książce

Autor

Suad Alagic

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2017

strony

178

EAN

9783319615172

ISBN

3319615173

Enbook ID

16380746

Wydawca

Springer International Publishing AG

Waga

490

Wymiary

243 x 163 x 18

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Software Engineering: Specification, Implementation, Verification

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również