Proof and System-Reliability (NATO SCIENCE SERIES II MATHEMATICS, PHYSICS AND CHEMISTRY)

NATO Advanced Study Institute On Proof And System-Reliability (2001 : Marktoberdorf, Germany); North Atlantic Treaty Organization. Scientific Affairs Division

ISBN 10: 1402006071 / ISBN 13: 9781402006074

Published by Kluwer Academic Pub, 2002

About this Item

Seller Inventory # I-9781402006074

Bibliographic Details

• Title: Proof and System-Reliability (NATO SCIENCE SERIES II MATHEMATICS, PHYSICS AND CHEMISTRY)
• Publisher: Kluwer Academic Pub
• Publication Date: 2002
• Language: English
• ISBN 10: 1402006071
• ISBN 13: 9781402006074
• Binding: Hardcover
• Condition: New

About this title

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)