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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 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

186 b

27 260 Ft

In stock at our supplier Shipping in 8-11 days

30-day return policy

Customers also purchased

Barcellona Helmuth Bischoff

Paperback

4 996 Ft

Dôstojnosť Miroslav Pollák

Hardback

6 637 Ft

Ravno u glavu Mike McCormack

Paperback

1 405 Ft

Anna Karenina / rusky Tolstoj Lev Nikolajevič

Hardback

3 753 Ft

CARTE DES VINS DE POMEROL BENOIT FRANCE Book

binding.

7 034 Ft

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

Audio CD

2 768 Ft

Brown. Atlas de Anestesia Regional EHAB FARAG

Paperback

46 519 Ft

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

Paperback

10 376 Ft

Diccionario de enigmística Rafael Hidalgo de la Torre

Paperback

8 999 Ft

Polskie parki rozrywki

Paperback

3 457 Ft

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

Paperback

4 589 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