9781402006074: Proof and System-Reliability: v. 62
Rilegato
ISBN 10: 1402006071 ISBN 13: 9781402006074
Casa editrice: Kluwer Academic Pub, 2002

Sinossi

Contributors in computing and information science, mathematics, logic, and complexity describe recent work in domains and semantics, logical foundations, proof and security, programming logic, and logic and feasibility in these papers from an August 2001 meeting. Some specific topics include Cartesian closed categories of effective domains, algorithmic game semantics, naive computational type theory, design and implementation of proof-carrying code, abstractions and reductions in model checking, and Hoare logic. There is no subject index. Annotation (c) Book News, Inc., Portland, OR (booknews.com)

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Cartesian Closed Categories of Effective Domains; G. Hamrin, V. Stoltenberg-Hansen. Algebraic 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. Naïve Computational Type Theory; R. 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 Theory and Complexity; G.E. Ostrin, S.S. Wainer. Feasible Computation with Higher Types; H. Schwichtenberg, S.J. Bellantoni.

Product Description

Proof And System-Reliability by Helmut Schwichtenberg, North Atlantic Treaty Organization Scientific Affairs Division, 9781402006074, Springer, 2002, Hardcover

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Kluwer Academic Pub
Data di pubblicazione
2002
Lingua
Inglese
ISBN 10 
1402006071
ISBN 13 
9781402006074
Rilegatura
Copertina rigida
Numero di pagine
415
Redattore
Steinbruggen Ralf, Schwichtenberg Helmut
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9781402006081: Proof and System-Reliability: 62

Edizione in evidenza

ISBN 10:  140200608X ISBN 13:  9781402006081
Casa editrice: Springer, 2013
Brossura