Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Software Engineering: Specification, Implementation, Verification

Suad Alagic

Language

English

Book Paperback

Libristo code: 21375313

Publishers Springer International Publishing AG, August 2018

This book takes a formal approach to teaching software engineering, using not only UML, but also Obj... Full description

Libristo code: 21375313

171 b

25 691 Ft

In stock at our supplier Shipping in 8-11 days

Up to 30 days for returns

Customers also purchased

Fachgerechter Weisswein-Flaschenservice (Unterweisung Hotelfachmann / -fachfrau) Armin Menden

Paperback

4 710 Ft

Barcellona Helmuth Bischoff

Paperback

5 038 Ft

Dôstojnosť Miroslav Pollák

Hardback

6 812 Ft

Ravno u glavu Mike McCormack

Paperback

1 442 Ft

CARTE DES VINS DE POMEROL BENOIT FRANCE Book

binding.

7 144 Ft

Diccionario de enigmística Rafael Hidalgo de la Torre

Paperback

9 193 Ft

Cello Sonaten & Encores Rostropowitsch/Richter/Yampolsky/Oborin/Dedyukhin

Audio CD

2 841 Ft

Anna Karenina / rusky Лев Толстой

Hardback

3 852 Ft

Brown. Atlas de Anestesia Regional EHAB FARAG

Paperback

47 715 Ft

Polskie parki rozrywki

Paperback

3 548 Ft

Oeuvres Choisies, Precedees d'Une Biographie. Preface LAHOR-J

Paperback

10 649 Ft

This book 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. Uses constraints in all phases of software development Follows recent developments in software technologies Technical coverage of data management issues and software verification Illustrated throughout to present analysis, specification, implementation and verification of multiple applications Includes end-of-chapter exercises and Instructor Presentation Slides