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
Austrian Post 5.49 GLS courier 4.99 DPD courier 4.49 DPD point 3.49

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
69.79 VAT included
In stock at our supplier Shipping in 10-13 days
Austria Delivery to Austria

Up to 30 days for returns


Customers also purchased


L’homme Cohen Book Paperback
common.buy 21.69
Hamnaren Diverse / Audiobook MP3
common.buy 2.69
Ragna Crimson. Tom 7 Daiki Kobayashi / Book Paperback
common.buy 7.99
Falsches Spiel zu Weihnachten - Folge 21, 1 Audio-CD Tobias Schuffenhauer / Audio Audio CD
common.buy 12.95
SOLASTALGIE BOISCLAIR ANTOINE Book binding.
common.buy 20.59
Dvacet tisíc mil pod mořem Jules Verne / Book Hardback
common.buy 8.89
Cesta k močálu / Book binding.
common.buy 2.09
Ilmiosam Germana Charlie / Book Paperback
common.buy 8.79
Secreto del Bamb Ismael Cala / Book Paperback
common.buy 14.19
entburokratisierte Pflegedokumentation Mathias Berger / Book Paperback
common.buy 34.99
Politische Denkbilder Jost Hermand / Book Hardback
common.buy 52.69

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 34.19
Strategy in Japanese Swordship Nicklaus Suino / Book Paperback
common.buy 19.69
Cats DK / Book Paperback
common.buy 7.59
Unstoppable Teams Alden Mills / Book Hardback
common.buy 23.39
Honey: A Single Dad Romance Terri E Laine / Book Paperback
common.buy 7.99
Saviour's Empire P D Stewart / Book Paperback
common.buy 14.79
Decentralized Globalization Dr Olga Magdalena Lazin / Book Paperback
common.buy 37.79
Carbon Emissions in China Zhu Liu / Book Hardback
common.buy 101.79
I Am Divine Within C. J. Savage / Book Hardback
common.buy 20.79
Resolving Locational Conflict Robert W. Lake / Book Paperback
common.buy 51.79
Magic Kitten: Classroom Chaos Sue Bentley / Book Paperback
common.buy 8.59
Erasmus Robert B. Drummond / Book Paperback
common.buy 27.39
Tunable Solid State Lasers P. Hammerling / Book Paperback
common.buy 101.79
Social Studies Jane Francesca Wilde / Book Paperback
common.buy 44.39

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?