Formal Logical Methods for System Security and Correctness

Name: Formal Logical Methods for System Security and Correctness: V. 14
Brand: IOS Press,US
SKU: 9781586038434
Price: 2647.00 INR
Availability: InStock

V. 14

by NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 Marktoberdorf, Germany)

IOS Press,US · 2008

₹2,647

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Formal Logical Methods for System Security and Correctness: V. 14 by Germany) Correctness (2007 Marktoberdorf is a 332-page book published by IOS Press,US in 2008.

The book deals with Congresses, Computer logic and Computer security.

Subjects

Book details

ISBN-13: 9781586038434
ISBN-10: 1586038435
Authors: NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 Marktoberdorf, Germany)
Publisher: IOS Press,US
Published: 2008
Edition: 1
Pages: 332
Language: English
Condition: New
Subject: Business & Economics