Proof and system-reliability

>> Google Books

所蔵情報QRコード

Proof and system-reliability / edited by Helmut Schwichtenberg and Ralf Steinbrüggen

資料種別:

図書

出版情報:

Dordrecht : Kluwer Academic, c2002

形態:

xii, 415 p. ; 25 cm

シリーズ名:

NATO science series ; II . Mathematics, physics and chemistry ; v. 62 <BA40559140>

著者名:

ISBN:

9781402006074 [1402006071]
9781402006081 [140200608X] (: pbk)

書誌ID:

BA57066319

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references
Proceedings of the NATO Advanced Study Institute on Proof and System-Reliability, Marktoberdorf, Germany, 24 July - 5 August, 2001

主題:

Computer systems--Reliability; Proof theory

言語:

英語

目次情報:

Preface

Cartesian Closed Categories of Effective Domains / G. Hamrin ; 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 ; S. S. Wainer

Feasible Computation with Higher Types / H. Schwichtenberg ; S. J. Bellantoni

Preface

Cartesian Closed Categories of Effective Domains / G. Hamrin ; 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

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Basic proof theory (: electronic bk) Troelstra, A. S., Schwichtenberg, Helmut	7 図書 Architecting dependable systems Lemos, Rogério de, 1961-, Gacek, Cristina, 1964-, Romanovsky, Alexander, 1954- Springer
2 図書 Proof and computation Schwichtenberg, Helmut, 1942-, NATO Advanced Study Institute on Proof and Computation Springer-Verlag	8 図書 Correct system design : recent insights and advances Olderog, E.-R., Steffen, Bernhard Springer
3 図書 Proof technology and computation (IOS Press) Schwichtenberg, Helmut, 1942-, Spies, Katharina IOS Press	9 図書 Proof complexity (: hardback) Krajíček, Jan Cambridge University Press
4 図書 Proof theory and intuitionistic systems (: Germany ; : U.S.) Scarpellini, Bruno Springer-Verlag	10 図書 Algebra of proofs Szabo, M. E. North-Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier North-Holland
5 図書 Logic of computation Schwichtenberg, Helmut, 1942-, NATO Advanced Study Institute on Logic of Computation Springer	11 図書 Proof theory (American Elsevier ; North-Holland) 竹内, 外史(1926-) North-Holland Pub. Co, American Elsevier Pub. Co.
6 電子ブック Proof and computation II : from proof theory and univalent mathematics to program extraction and verification (: electronic bk) Mainzer, Klaus, 1947-, Schuster, Peter, 1966-, Schwichtenberg, Helmut, 1942- World Scientific eBooks	12 図書 Proof theory (: gw ; : us) Schütte, K. (Kurt) Springer-Verlag