skip to content
Handbook of Model Checking Preview this item
ClosePreview this item
Checking...

Handbook of Model Checking

Author: Edmund M Clarke; Thomas A Henzinger; Helmut Veith; Roderick Bloem
Publisher: Cham Springer International Publishing 2018
Edition/Format:   Computer file : EnglishView all editions and formats
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: Aufsatzsammlung
Additional Physical Format: Erscheint auch als:
Druck-Ausgabe
Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Edmund M Clarke; Thomas A Henzinger; Helmut Veith; Roderick Bloem
ISBN: 9783319105758 3319105752
OCLC Number: 1038758071
Description: 1 Online-Ressource (XXIV, 1210 p. 220 illus., 6 illus. in color)
Responsibility: edited by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem.

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/1038758071> # Handbook of Model Checking
    a bgn:ComputerFile, schema:CreativeWork ;
    library:oclcnum "1038758071" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/mathematical_logic> ; # Mathematical logic
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/algorithmus> ; # Algorithmus
    schema:about <http://dewey.info/class/004.0151/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/performance_and_reliability> ; # Performance and Reliability
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/computers> ; # Computers
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/model_checking> ; # Model Checking
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/quality_control_reliability_safety_and_risk> ; # Quality Control, Reliability, Safety and Risk
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/industrial_safety> ; # Industrial safety
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/reliability> ; # Reliability
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/quality_control> ; # Quality control
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/software_engineering_programming_and_operating_systems> ; # Software Engineering/Programming and Operating Systems
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/mathematical_logic_and_foundations> ; # Mathematical Logic and Foundations
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/mathematics_of_computing> ; # Mathematics of Computing
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/computer_science_mathematics> ; # Computer science / Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/computer_software_reusability> ; # Computer software / Reusability
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/theory_of_computation> ; # Theory of Computation
    schema:about <http://experiment.worldcat.org/entity/work/data/2946360540#Topic/computer_science> ; # Computer Science
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2946360540#Person/bloem_roderick> ; # Roderick Bloem
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2946360540#Person/veith_helmut> ; # Helmut Veith
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2946360540#Person/henzinger_thomas_a> ; # Thomas A. Henzinger
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2946360540#Person/clarke_edmund_m> ; # Edmund M. Clarke
    schema:datePublished "2018" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2946360540> ;
    schema:genre "Aufsatzsammlung" ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/2946360540#CreativeWork/> ;
    schema:name "Handbook of Model Checking" ;
    schema:numberOfPages "1210" ;
    schema:productID "1038758071" ;
    schema:url <https://doi.org/10.1007/978-3-319-10575-8> ;
    schema:url <https://ebookcentral.proquest.com/lib/swb/detail.action?docID=5398731> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-10575-8> ;
    schema:workExample <http://worldcat.org/isbn/9783319105758> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1038758071> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2946360540#Person/bloem_roderick> # Roderick Bloem
    a schema:Person ;
    schema:familyName "Bloem" ;
    schema:givenName "Roderick" ;
    schema:name "Roderick Bloem" ;
    .

<http://experiment.worldcat.org/entity/work/data/2946360540#Person/clarke_edmund_m> # Edmund M. Clarke
    a schema:Person ;
    schema:familyName "Clarke" ;
    schema:givenName "Edmund M." ;
    schema:name "Edmund M. Clarke" ;
    .

<http://experiment.worldcat.org/entity/work/data/2946360540#Person/henzinger_thomas_a> # Thomas A. Henzinger
    a schema:Person ;
    schema:familyName "Henzinger" ;
    schema:givenName "Thomas A." ;
    schema:name "Thomas A. Henzinger" ;
    .

<http://experiment.worldcat.org/entity/work/data/2946360540#Person/veith_helmut> # Helmut Veith
    a schema:Person ;
    schema:familyName "Veith" ;
    schema:givenName "Helmut" ;
    schema:name "Helmut Veith" ;
    .

<http://experiment.worldcat.org/entity/work/data/2946360540#Topic/computer_science> # Computer Science
    a schema:Intangible ;
    schema:name "Computer Science" ;
    schema:name "Computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/2946360540#Topic/computer_science_mathematics> # Computer science / Mathematics
    a schema:Intangible ;
    schema:name "Computer science / Mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/2946360540#Topic/computer_software_reusability> # Computer software / Reusability
    a schema:Intangible ;
    schema:name "Computer software / Reusability" ;
    .

<http://experiment.worldcat.org/entity/work/data/2946360540#Topic/industrial_safety> # Industrial safety
    a schema:Intangible ;
    schema:name "Industrial safety" ;
    .

<http://experiment.worldcat.org/entity/work/data/2946360540#Topic/mathematical_logic> # Mathematical logic
    a schema:Intangible ;
    schema:name "Mathematical logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/2946360540#Topic/mathematical_logic_and_foundations> # Mathematical Logic and Foundations
    a schema:Intangible ;
    schema:name "Mathematical Logic and Foundations" ;
    .

<http://experiment.worldcat.org/entity/work/data/2946360540#Topic/mathematics_of_computing> # Mathematics of Computing
    a schema:Intangible ;
    schema:name "Mathematics of Computing" ;
    .

<http://experiment.worldcat.org/entity/work/data/2946360540#Topic/performance_and_reliability> # Performance and Reliability
    a schema:Intangible ;
    schema:name "Performance and Reliability" ;
    .

<http://experiment.worldcat.org/entity/work/data/2946360540#Topic/quality_control_reliability_safety_and_risk> # Quality Control, Reliability, Safety and Risk
    a schema:Intangible ;
    schema:name "Quality Control, Reliability, Safety and Risk" ;
    .

<http://experiment.worldcat.org/entity/work/data/2946360540#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/2946360540#Topic/software_engineering_programming_and_operating_systems> # Software Engineering/Programming and Operating Systems
    a schema:Intangible ;
    schema:name "Software Engineering/Programming and Operating Systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/2946360540#Topic/theory_of_computation> # Theory of Computation
    a schema:Intangible ;
    schema:name "Theory of Computation" ;
    .

<http://worldcat.org/isbn/9783319105758>
    a schema:ProductModel ;
    schema:isbn "3319105752" ;
    schema:isbn "9783319105758" ;
    .

<https://doi.org/10.1007/978-3-319-10575-8>
    rdfs:comment "URL des Erstveröffentlichers" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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