Contact
How to shop
Delivery
Shopping guide
Validated Designs for Object-oriented Systems
English
152 b
Delivery to Austria
Up to 30 days for returns
Customers also purchased
/
Paperback
42.69
€
/
Hardback
71.79
€
binding.
10.99
€
/
Paperback
13.99
€
This book provides an introduction to practical formal modelling techniques in the context of object-oriented system design. It is aimed at both practising software engineers with some prior experience of object-oriented design/programming and at intermediate or advanced students studying object-oriented design or modelling in a short course. The following features make this book particularly attractive to potential instructors: §The relationship with UML and object-oriented programming makes it easy to integrate with the mainstream computing curriculum. Although the book is about formal methods, it does not have to be treated as a specialist topic. §The use of tools and an accessible modelling language improves student motivation. §The industry-based examples and case studies add to the credibility of the approach. §The light touch approach means that the material appeals to students with a wider range of abilities than is the case in a conventional formal methods text. §Support materials as listed above.
About the book
English
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 addressYou might also be interested in
/
Hardback
31.49
€
/
Paperback
15.39
€
/
Game
49.69
€
/
Paperback
89.29
€
/
Paperback
9.49
€
/
Paperback
19.39
€
/
Paperback
17.29
€
/
Paperback
26.49
€
Hi! I'm Libroamiko, your book advisor.
How can I help you?