Verification of Infinite-state Systems with Applications to Security
- Edmund Clarke
- Marius Minea
- Ferucio Laurenţiu Ţiplea
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹14,375Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books GOAudible 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 -
Verification of Infinite-state Systems with Applications to Security is written by Edmund Clarke and published by IOS Press. It's available with International Standard Book Number or ISBN identification 1586035703 (ISBN 10) and 9781586035709 (ISBN 13).
Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop."
