Download or read book Models, Algebras and Logic of Engineering Software written by Manfred Broy and published by IOS Press. This book was released on 2003 with total page 420 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.