skip to content
Proof and System-Reliability Preview this item
ClosePreview this item
Checking...

Proof and System-Reliability

Author: Helmut Schwichtenberg; Ralf Steinbrüggen
Publisher: Dordrecht : Springer Netherlands : Imprint : Springer, 2002.
Series: NATO science series., Series II,, Mathematics, physics, and chemistry ;, 62.
Edition/Format:   eBook : Bibliographic data : EnglishView all editions and formats
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Bibliographic data, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Helmut Schwichtenberg; Ralf Steinbrüggen
ISBN: 9789401004138 9401004137 9781402006081 140200608X
OCLC Number: 840307520
Description: 1 online resource (428 pages).
Contents: 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.
Series Title: NATO science series., Series II,, Mathematics, physics, and chemistry ;, 62.
Other Titles: Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001
Responsibility: edited by Helmut Schwichtenberg, Ralf Steinbrüggen.

Abstract:

Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/840307520> # Proof and System-Reliability
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "840307520" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/572614166#Place/dordrecht> ; # Dordrecht
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   rdfs:comment "Unknown 'gen' value: bdt" ;
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:about <http://dewey.info/class/004/e21/> ;
   schema:about <http://id.worldcat.org/fast/872656> ; # Computer systems--Reliability
   schema:about <http://experiment.worldcat.org/entity/work/data/572614166#Topic/computer_systems_reliability> ; # Computer systems--Reliability
   schema:about <http://id.loc.gov/authorities/subjects/sh85107437> ; # Proof theory
   schema:alternateName "Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/59332242> ; # Ralf Steinbrüggen
   schema:creator <http://viaf.org/viaf/46861987> ; # Helmut Schwichtenberg
   schema:datePublished "2002" ;
   schema:description "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."@en ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/572614166> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/572614166#Series/nato_science_series> ; # NATO science series.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/572614166#Series/nato_science_series_series_ii_mathematics_physics_and_chemistry_1568_2609> ; # NATO Science Series, Series II: Mathematics, Physics and Chemistry, 1568-2609 ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/572614166#CreativeWork/> ;
   schema:name "Proof and System-Reliability"@en ;
   schema:productID "840307520" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/840307520#PublicationEvent/dordrecht_springer_netherlands_imprint_springer_2002> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/572614166#Agent/springer_netherlands> ; # Springer Netherlands
   schema:publisher <http://experiment.worldcat.org/entity/work/data/572614166#Agent/imprint> ; # Imprint
   schema:publisher <http://experiment.worldcat.org/entity/work/data/572614166#Agent/springer> ; # Springer
   schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3565769> ;
   schema:url <https://link.springer.com/openurl?genre=book&isbn=978-1-4020-0607-4> ;
   schema:url <http://dx.doi.org/10.1007/978-94-010-0413-8> ;
   schema:workExample <http://worldcat.org/isbn/9781402006081> ;
   schema:workExample <http://dx.doi.org/10.1007/978-94-010-0413-8> ;
   schema:workExample <http://worldcat.org/isbn/9789401004138> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/840307520> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/572614166#Agent/springer_netherlands> # Springer Netherlands
    a bgn:Agent ;
   schema:name "Springer Netherlands" ;
    .

<http://experiment.worldcat.org/entity/work/data/572614166#Series/nato_science_series> # NATO science series.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/840307520> ; # Proof and System-Reliability
   schema:name "NATO science series." ;
    .

<http://experiment.worldcat.org/entity/work/data/572614166#Series/nato_science_series_series_ii_mathematics_physics_and_chemistry_1568_2609> # NATO Science Series, Series II: Mathematics, Physics and Chemistry, 1568-2609 ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/840307520> ; # Proof and System-Reliability
   schema:name "NATO Science Series, Series II: Mathematics, Physics and Chemistry, 1568-2609 ;" ;
    .

<http://id.loc.gov/authorities/subjects/sh85107437> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory"@en ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory"@en ;
    .

<http://id.worldcat.org/fast/872656> # Computer systems--Reliability
    a schema:Intangible ;
   schema:name "Computer systems--Reliability"@en ;
    .

<http://viaf.org/viaf/46861987> # Helmut Schwichtenberg
    a schema:Person ;
   schema:familyName "Schwichtenberg" ;
   schema:givenName "Helmut" ;
   schema:name "Helmut Schwichtenberg" ;
    .

<http://viaf.org/viaf/59332242> # Ralf Steinbrüggen
    a schema:Person ;
   schema:familyName "Steinbrüggen" ;
   schema:givenName "Ralf" ;
   schema:name "Ralf Steinbrüggen" ;
    .

<http://worldcat.org/isbn/9781402006081>
    a schema:ProductModel ;
   schema:isbn "140200608X" ;
   schema:isbn "9781402006081" ;
    .

<http://worldcat.org/isbn/9789401004138>
    a schema:ProductModel ;
   schema:isbn "9401004137" ;
   schema:isbn "9789401004138" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.