عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
1402006071
140200608X
9781402006074
9781402006081
b553251
Proof and system-reliability
[Book]
edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
Dordrecht ; Boston
Kluwer Academic Publishers
©2002.
xii, 415 pages : illustrations ; 25 cm.
NATO science series., Series II,, Mathematics, physics, and chemistry ;, v. 62.
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.
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.
Computer systems -- Reliability -- Congresses.
Computer systems -- Reliability.
Proof theory -- Congresses.
edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
Helmut Schwichtenberg
North Atlantic Treaty Organization. Scientific Affairs Division.
Ralf Steinbrüggen
مطالعه متن کتاب [Book]
Y
