1 book(s) in your shopping cart.

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 81.30 [Appr.: US$ 87.22 | £UK 68.5 | JP¥ 13796] Booknumber: 818250

Remove
Total: EUR 81.30 [Appr.: US$ 87.22 | £UK 68.5 | JP¥ 13796]
 

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