Rigorous Methods for Software Construction and Analysis
- Jean-Raymond Abrial
- Uwe Glässer
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹3,503Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books ₹43.44Audible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Rigorous Methods for Software Construction and Analysis is written by Jean-Raymond Abrial and published by Springer. It's available with International Standard Book Number or ISBN identification 3642114474 (ISBN 10) and 9783642114472 (ISBN 13).
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.
