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:   eBook : Document : 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: Document, 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 Seiten 220 Illustrationen, 6 Illustrationen 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/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.