LIBRISTO
LIBROAMANTO
mandatory
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
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 Bpost point 7.99 Bpost 7.49 DPD point 3.49 GLS courier 4.49

Free delivery for orders over 69.99 euro.

Software Engineering: Specification, Implementation, Verification

Language EnglishEnglish
Book Hardback
Book Software Engineering: Specification, Implementation, Verification Suad Alagic
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
? points 171 b
70.61
In stock at our supplier Shipping in 10-13 days

30-day return policy


Customers also purchased


Politische Denkbilder Jost Hermand / Book Hardback
common.buy 53.31
Ragna Crimson. Tom 7 Daiki Kobayashi / Book Paperback
common.buy 8.89
Hamnaren Diverse / Audiobook MP3
common.buy 3.13
L’homme Cohen Book Paperback
common.buy 25.28
Dvacet tisíc mil pod mořem Jules Verne / Book Hardback
common.buy 9.30
entburokratisierte Pflegedokumentation Mathias Berger / Book Paperback
common.buy 31.25
Secreto del Bamb Ismael Cala / Book Paperback
common.buy 13.95
Ilmiosam Germana Charlie / Book Paperback
common.buy 9.30
Cesta k močálu / Book binding.
common.buy 2.01
Falsches Spiel zu Weihnachten - Folge 21, 1 Audio-CD Tobias Schuffenhauer / Audio Audio CD
common.buy 13.75

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Software Engineering: Specification, Implementation, Verification
Author Suad Alagic
Language English
Binding Book - Hardback
Date of issue 2017
Number of pages 178
EAN 9783319615172
ISBN 3319615173
Libristo code 16380746
Weight 490
Dimensions 243 x 163 x 18
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


Cardinal Pole; Or, The Days of Philip and Mary Frederick Gilbert / Book Hardback
common.buy 36.41
Erasmus Robert B. Drummond / Book Paperback
common.buy 27.71
Strategy in Japanese Swordship Nicklaus Suino / Book Paperback
common.buy 21.14
Cats DK / Book Paperback
common.buy 6.67
Unstoppable Teams Alden Mills / Book Hardback
common.buy 25.28
Honey: A Single Dad Romance Terri E Laine / Book Paperback
common.buy 7.68
Decentralized Globalization Dr Olga Magdalena Lazin / Book Paperback
common.buy 41.17
Resolving Locational Conflict Robert W. Lake / Book Paperback
common.buy 52.40
Labor Day Joseph Farley / Book Hardback
common.buy 25.08
Social Studies Jane Francesca Wilde / Book Paperback
common.buy 47.14
Tunable Solid State Lasers P. Hammerling / Book Paperback
common.buy 102.99

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account