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

Name: Software Engineering: Specification, Implementation, Verification
Brand: Springer International Publishing AG
SKU: 16380746
Price: 27260 HUF
Availability: InStock
Author: Suad Alagic
ISBN: 9783319615172

Suad Alagic

Language

English

Book Hardback

Libristo code: 16380746

Publishers Springer International Publishing AG, October 2017

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

Libristo code: 16380746

186 b

27 260 Ft

In stock at our supplier Shipping in 10-13 days

30-day return policy

Customers also purchased

Politische Denkbilder Jost Hermand

Hardback

19 874 Ft

Ragna Crimson. Tom 7 Daiki Kobayashi

Paperback

3 166 Ft

Hamnaren Diverse

MP3

1 128 Ft

L’homme Cohen Book

Paperback

8 957 Ft

Puretés et impuretés de la littérature (1860-1940)

Hardback

29 021 Ft

Dvacet tisíc mil pod mořem Jules Verne

Hardback

3 282 Ft

entburokratisierte Pflegedokumentation Mathias Berger

Paperback

12 151 Ft

Secreto del Bamb Ismael Cala

Paperback

5 380 Ft

Ilmiosam Germana Charlie

Paperback

3 563 Ft

Cesta k močálu

binding.

735 Ft

Falsches Spiel zu Weihnachten - Folge 21, 1 Audio-CD Tobias Schuffenhauer

Audio CD

4 881 Ft

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.