Publisher's Synopsis
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.
Verification of Infinite-State Systems With Applications to Security - NATO Security Through Science Series. D, Information and Communication Security
Book (01 Jan 2006)
Not available for sale
Includes delivery to the United States
Out of stock
Check stock
Book information
| ISBN: | 9781586035709 |
| Publisher: | IOS Press |
| Imprint: | IOS Press |
| Pub date: | 01 Jan 2006 |
| DEWEY: | 005.8 |
| DEWEY edition: | 22 |
| Number of pages: | 235 |
| Weight: | 635g |
| Height: | 241mm |
| Width: | 165mm |
| Spine width: | 25mm |
We recommend
$12.19off
AI and Blockchain in Healthcare
Hardback
Published 01 May 2023
Save $12.19
RRP $76.96- $64.77
$15.62off
Blockchain for Hospitality and ...
Paperback
Published 31 Aug 2023
Save $15.62
RRP $51.30- $35.68
$2.89off
Hands-on Ethical Hacking and Ne...
Paperback
Published 21 Apr 2022
Save $2.89
RRP $64.13- $61.24
