Download or read book Rigorous Methods for Software Construction and Analysis written by Jean-Raymond Abrial and published by Springer. This book was released on 2010-01-10 with total page 235 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.