Liebe Besucherinnen und Besucher,

aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.

Ihr Team von Sack Fachmedien

Schwichtenberg / Steinbrüggen | Proof and System-Reliability | Buch | 978-1-4020-0608-1 | www.sack.de

Buch, Englisch, Band 62, 415 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 1320 g

Reihe: NATO Science Series II: Mathematics, Physics and Chemistry

Schwichtenberg / Steinbrüggen

Proof and System-Reliability


1. Auflage 2002
ISBN: 978-1-4020-0608-1
Verlag: Springer

Buch, Englisch, Band 62, 415 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 1320 g

Reihe: NATO Science Series II: Mathematics, Physics and Chemistry

ISBN: 978-1-4020-0608-1
Verlag: Springer

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations.
This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives.
Schwichtenberg / Steinbrüggen Proof and System-Reliability jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Schwichtenberg, Helmut
Steinbrüggen, Ralf

Fachgebiete

Weitere Infos & Material

Cartesian Closed Categories of Effective Domains.- Algorithmic Game Semantics: A Tutorial Introduction.- Algebra of Networks.- Computability and Complexity from a Programming Perspective.- Logical Frameworks: A Brief Introduction.- Ludics: An Introduction.- Naïve Computational Type Theory.- Proof-Carrying Code. Design and Implementation.- Abstractions and Reductions in Model Checking.- Hoare Logic: From First-order to Propositional Formalism.- Hoare Logics in Isabelle/HOL.- Proof Theoretic Complexity.- Feasible Computation with Higher Types.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.