Rigorous Methods for Software Construction and Analysis
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
66,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9783642114465
- ISBN-10
- 3642114466
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 2010
- Publication date
- 2010-01-20
- Pages
- 235
- Dimensions
- 235x156x15
- Weight
- 388