Deutsch  Français  Nederlands 

Clarke, E., M. Minea and F. L. Tiplea (Edts.): - Verification of Infinite-state Systems with Applications to Security. (=NATO Security Through Science; Vol. 1).

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.
EUR 84.70 [Appr.: US$ 92.01 | £UK 72.75 | JP¥ 14333] Book number 818250

is offered by:


Antiquariat Thomas Haker GmbH & Co. KG
Paul-Robeson-Str. 22, 10439 Berlin Prenzlauer Berg, Germany Tel.: +49 30 46 79 61 87 | Fax: +49 30 46 79 61 89
Email: bestellung@antiquariat-in-berlin.de




  Order this book

Ask for information

Back to your search results