عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1402006071
(Number (ISBN
140200608X
(Number (ISBN
9781402006074
(Number (ISBN
9781402006081
NATIONAL BIBLIOGRAPHY NUMBER
Number
b553251
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proof and system-reliability
General Material Designation
[Book]
First Statement of Responsibility
edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht ; Boston
Name of Publisher, Distributor, etc.
Kluwer Academic Publishers
Date of Publication, Distribution, etc.
©2002.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 415 pages : illustrations ; 25 cm.
SERIES
Series Title
NATO science series., Series II,, Mathematics, physics, and chemistry ;, v. 62.
GENERAL NOTES
Text of Note
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 NOTE
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Computer systems -- Reliability -- Congresses.
Computer systems -- Reliability.
Proof theory -- Congresses.
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Helmut Schwichtenberg
North Atlantic Treaty Organization. Scientific Affairs Division.
Ralf Steinbrüggen
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
