منو
رکورد قبلیرکورد بعدی

" Proof and system-reliability "


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.
copyhttps://lib.clisel.com/site/catalogue/733453
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟