Rigorous Methods for Software Construction and Analysis
Author: Jean-Raymond Abrial
Publisher: Springer
Published: 2010-01-10
Total Pages: 235
ISBN-13: 3642114474
DOWNLOAD EBOOK →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.