Rigorous Methods for Software Construction and Analysis - Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday - - Paperback Bog -
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Description
This Festschrift volume, published in honor of Egon Borger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.
