Author: Clarke, E., M. Minea and F. L. Tiplea (Edts.): Title: Verification of Infinite-state Systems with Applications to Security. (=NATO Security Through Science; Vol. 1).
Description: IOS Press, 2006. 244 S. Hardcover Like new. Shrink wrapped. Free shipping within Germany. Shipping costs to EU-countries: 9.50 EUR, to non-EU-countries: 15.00 EUR.
Keywords: Verifizierung, Infinite-State-Systeme, Sicherheitsanwendungen, Sicherheit, Wissenschaft ISBN: 9781586035709
Price: EUR 112.70 = appr. US$ 122.49 Seller: Antiquariat Thomas Haker
- Book number: 818250
See more books from our catalog:
Varia