| Document Type
|
:
|
BL
|
| Record Number
|
:
|
733453
|
| Doc. No
|
:
|
b553251
|
| Main Entry
|
:
|
edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
|
| Title & Author
|
:
|
Proof and system-reliability\ edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
|
| Publication Statement
|
:
|
Dordrecht ; Boston: Kluwer Academic Publishers, ©2002.
|
| Series Statement
|
:
|
NATO science series., Series II,, Mathematics, physics, and chemistry ;, v. 62.
|
| Page. NO
|
:
|
xii, 415 pages : illustrations ; 25 cm.
|
| ISBN
|
:
|
1402006071
|
|
|
:
|
: 140200608X
|
|
|
:
|
: 9781402006074
|
|
|
:
|
: 9781402006081
|
| Notes
|
:
|
Published in cooperation with NATO Scientific Affairs Division.;"Proceedings of the NATO Advanced Study Institute on Proof and System-Reliability, Marktoberdorf, Germany, 24 July-5 August 2001"--Title page verso.
|
| Contents
|
:
|
Cartesian Closed Categories of Effective Domains / G. Hamrin and V. Stoltenberg-Hansen --;Algorithmic Game Semantics: A Tutorial Introduction / S. Abramsky --;Algebra of Networks / G. Stefanescu --;Computability and Complexity from a Programming Perspective / N.D. Jones --;Logical Frameworks: A Brief Introduction / F. Pfenning --;Ludics: An Introduction / J.-Y. Girard --;Naive Computational Type Theory / R.L. Constable --;Proof-Carrying Code. Design and Implementation / G. Necula --;Abstractions and Reductions in Model Checking / O. Grumberg --;Hoare Logic: From First-order to Propositional Formalism / J. Tiuryn --;Hoare Logics in Isabelle/HOL / T. Nipkow --;Proof Theoretic Complexity / G.E. Ostrin and S.S. Wainer.
|
| Subject
|
:
|
Computer systems -- Reliability -- Congresses.
|
| Subject
|
:
|
Computer systems -- Reliability.
|
| Subject
|
:
|
Proof theory -- Congresses.
|
| Added Entry
|
:
|
Helmut Schwichtenberg
|
|
|
:
|
North Atlantic Treaty Organization. Scientific Affairs Division.
|
|
|
:
|
Ralf Steinbrüggen
|