Items related to Proof and System-Reliability (NATO SCIENCE SERIES II...
Proof and System-Reliability (NATO SCIENCE SERIES II MATHEMATICS, PHYSICS AND CHEMISTRY) - Hardcover
Book 198 of 241: NATO Science Series II: Mathematics, Physics and Chemistry
Synopsis
Contributors in computing and information science, mathematics, logic, and complexity describe recent work in domains and semantics, logical foundations, proof and security, programming logic, and logic and feasibility in these papers from an August 2001 meeting. Some specific topics include Cartesian closed categories of effective domains, algorithmic game semantics, naive computational type theory, design and implementation of proof-carrying code, abstractions and reductions in model checking, and Hoare logic. There is no subject index. Annotation (c) Book News, Inc., Portland, OR (booknews.com)
"synopsis" may belong to another edition of this title.
Search results for Proof and System-Reliability (NATO SCIENCE SERIES II...
Stock Image
Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9781402006074
Stock Image
Proof And System-reliabilityproof And System-reliability (nato Science Series Ii: Mathematics, Physics And Chemistry)
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABBB-159842
Stock Image
Proof And System-reliabilityproof And System-reliability (nato Science Series Ii: Mathematics, Physics And Chemistry)
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-153212
Stock Image
Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781402006074_new
Buy New
US$ 127.97
US$ 16.22 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Proof and System-Reliability
Published by
Kluwer Academic Publishers, 2002
ISBN 10: 1402006071
ISBN 13: 9781402006074
New
Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9781402006074
Buy New
US$ 151.93
US$ 21.68 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
PROOF AND SYSTEM-RELIABILITY: v. 62 (NATO Science Series II)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. xii + 415 1st Edition. Seller Inventory # 263129541
Stock Image
Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 1st edition. 415 pages. 9.50x6.50x1.25 inches. In Stock. Seller Inventory # x-1402006071
Buy New
US$ 181.16
US$ 16.92 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Proof and System-Reliability
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in t. Seller Inventory # 872567297
Buy New
US$ 145.16
US$ 56.77 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
PROOF AND SYSTEM-RELIABILITY: v. 62 (NATO Science Series II)
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: Used. pp. xii + 415 Illus. Seller Inventory # 5799706
Buy Used
US$ 199.48
US$ 8.80 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
PROOF AND SYSTEM-RELIABILITY: v. 62 (NATO Science Series II)
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: Used. pp. xii + 415. Seller Inventory # 183129551
Buy Used
US$ 215.32
US$ 11.53 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available