Verification of Infinite-State Systems with Applications to Security

Verification of Infinite-State Systems with Applications to Security

  • Electronic book text

List price: US$190.26

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Product details

  • Electronic book text | 244 pages
  • IOS Press
  • United States
  • 1280505109
  • 9781280505102