Open Library logo
New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by ImportBot
July 30, 2014 | History

Verification of infinite-state systems with applications to security 1 edition

By unknown author
Cover of: Verification of infinite-state systems with applications to security |

No ebook available.


Prefer the physical book? Check nearby libraries with:


Buy this book


There's no description for this book yet. Can you add one?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Verification of Infinite-State Systems with Applications to Security: Volume 1 NATO Security through Science Series
Information and Communication Security (Nato Security Through Science)

Published January 1, 2006 by IOS Press .
Written in English.

The Physical Object

Format
Hardcover
Number of pages
244
Dimensions
9.6 x 6.5 x 0.9 inches
Weight
1.4 pounds

ID Numbers

Open Library
OL8819610M
Internet Archive
verificationinfi00mine
ISBN 10
1586035703
ISBN 13
9781586035709
Library Thing
6555605

History

Download catalog record: RDF / JSON
July 30, 2014 Created by ImportBot import new book