Your Waterstones card is changing, introducing...
TELL ME MORE
Verification of Infinite-state Systems with Applications to Security - NATO Science for Peace and Security Series D: Information and Communication Security v. 1 (Hardback)
  • Verification of Infinite-state Systems with Applications to Security - NATO Science for Peace and Security Series D: Information and Communication Security v. 1 (Hardback)
zoom

Verification of Infinite-state Systems with Applications to Security - NATO Science for Peace and Security Series D: Information and Communication Security v. 1 (Hardback)

(editor), (editor), (editor)
£73.00
Hardback 244 Pages / Published: 01/01/2006
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
The recent years have brought a number of advances in the development of infinite state verification, using techniques such as symbolic or parameterized representations, symmetry reductions, abstractions, constraint-based approaches, combinations of model checking and theorem proving. The active state of research on this topic provides a good time-point to increase impact by bringing together leading scientists and practitioners from these individual approaches. This volume gives an overview of the current research directions, and 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. Not only were the lectures excellent, but due to the participants taking part in the discussions at the workshop, they shared different views, and they recognized the similarity of a number of different view points.

Publisher: IOS Press
ISBN: 9781586035709
Number of pages: 244

You may also be interested in...

Cybersecurity and Cyberwar
Added to basket
Intercept
Added to basket
£8.99
Paperback
The Cyber Effect
Added to basket
£10.99
Paperback
The Art of Intrusion
Added to basket
Data and Goliath
Added to basket
£12.99
Paperback
The Perfect Weapon
Added to basket
£14.99
Paperback
The Truth Machine
Added to basket
Exploding Data
Added to basket
£20.00
Hardback
Metasploit
Added to basket
£41.99
Paperback
Hacking For Dummies
Added to basket
£23.99
Paperback
Cyber Attack Survival Manual
Added to basket
Democracy Hacked
Added to basket
£16.99
Hardback
The Old Religion
Added to basket
£12.99
Hardback
Ghost in the Wires
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.