Models, Algebras and Logic of Engineering Software

Models, Algebras and Logic of Engineering Software

4 (1 rating by Goodreads)
Edited by  , Edited by 

List price: US$116.00

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks


Computer software is a pervasive factor in advancing the progress and increasing the efficiency of industry, science, commerce and communication. Moreover, it is a significant contributor to the general quality of life of the individual citizen. Future potential contributions are likely to be even greater. Realization of the potential and avoidance of the global risks inherent to the introduction of any new technology, will depend on the imagination, invention, skill and professional discipline of future cohorts of software engineers. This volume focuses on the education of researchers, teachers, students and practitioners. As usual in engineering, a study and application of the relevant branches of mathematics is crucial both in education and practice. Only this can give assurance of high reliability and optimization of cost and benefit of an engineering product. In the case of large-scale software design, the relevant technology is provided by logic and algebra, on the basis of general mathematical modelling. The details of application of the technology are increasingly supported by sophisticated tool-sets.
show more

Product details

  • Hardback | 416 pages
  • 165.1 x 243.8 x 30.5mm | 884.52g
  • IOS Press,US
  • Amsterdam, United States
  • English
  • 1586033425
  • 9781586033422

Rating details

1 ratings
4 out of 5 stars
5 0% (0)
4 100% (1)
3 0% (0)
2 0% (0)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X