Tracked shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada validated designs for object-oriented systems
Type
Physical Book
Publisher
Year
2010
Language
English
Pages
404
Format
Paperback
Dimensions
23.4 x 15.6 x 2.2 cm
Weight
0.58 kg.
ISBN
1849969434
ISBN13
9781849969437

validated designs for object-oriented systems

John Fitzgerald (Author) · Peter Gorm Larsen (Author) · Paul Mukherjee (Author) · Springer · Paperback

validated designs for object-oriented systems - Fitzgerald, John ; Larsen, Peter Gorm ; Mukherjee, Paul

Cheaper New Book Imported to Taiwan
Delivery: 21 Aug - 02 Sep Shipping: 13 to 15 business days.
NT$ 2,686
Faster New Book Imported to Taiwan
Delivery: 11 Aug - 19 Aug Shipping: 5 to 6 business days.
NT$ 3,266
NT$ 2,686

Synopsis "validated designs for object-oriented systems"

This book describes an object-oriented design approach that combines the benefits of abstract modeling with the analytic power of formal methods to give designs that can be rigorously validated and assured with automated support. Aimed at software architects, designers, and developers as well as computer scientists, the elements of functional modeling are introduced using numerous examples and exercises, industrial case studies, and experience reports. Industry-strength tools support the text.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews