skip to content
Complete Symbolic Simulation of SystemC Models : Efficient Formal Verification of Finite Non-Terminating Programs Preview this item
ClosePreview this item
Checking...

Complete Symbolic Simulation of SystemC Models : Efficient Formal Verification of Finite Non-Terminating Programs

Author: Vladimir Herdt
Publisher: Wiesbaden : Springer Vieweg, 2016.
Series: BestMasters
Edition/Format:   eBook : Document : English : 1st ed. 2016View 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

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Vladimir Herdt
ISBN: 9783658126803 3658126809
OCLC Number: 949955946
Description: Online-Ressource (XIX, 162 Seiten 26 Illustrationen, online resource).
Series Title: BestMasters
Responsibility: by Vladimir Herdt.

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/949955946> # Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "949955946" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2872613556#Place/wiesbaden> ; # Wiesbaden
    schema:about <http://experiment.worldcat.org/entity/work/data/2872613556#Topic/computer_science_mathematics> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/2872613556#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/2872613556#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/2872613556#Topic/computer_hardware> ; # Computer hardware
    schema:about <http://dewey.info/class/004/> ;
    schema:bookEdition "1st ed. 2016." ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/2872613556#Person/herdt_vladimir> ; # Vladimir Herdt
    schema:datePublished "2016" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2872613556> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2872613556#Series/bestmasters> ; # BestMasters
    schema:name "Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs" ;
    schema:productID "949955946" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/949955946#PublicationEvent/wiesbaden_springer_vieweg_2016> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2872613556#Agent/springer_vieweg> ; # Springer Vieweg
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920106&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920106&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920106&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://dx.doi.org/10.1007/978-3-658-12680-3> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920106&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <https://doi.org/10.1007/978-3-658-12680-3> ;
    schema:url <http://swbplus.bsz-bw.de/bsz468156380cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783658126803> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-658-12680-3> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/949955946> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2872613556#Agent/springer_vieweg> # Springer Vieweg
    a bgn:Agent ;
    schema:name "Springer Vieweg" ;
    .

<http://experiment.worldcat.org/entity/work/data/2872613556#Person/herdt_vladimir> # Vladimir Herdt
    a schema:Person ;
    schema:familyName "Herdt" ;
    schema:givenName "Vladimir" ;
    schema:name "Vladimir Herdt" ;
    .

<http://experiment.worldcat.org/entity/work/data/2872613556#Series/bestmasters> # BestMasters
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/949955946> ; # Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
    schema:name "BestMasters" ;
    .

<http://experiment.worldcat.org/entity/work/data/2872613556#Topic/computer_hardware> # Computer hardware
    a schema:Intangible ;
    schema:name "Computer hardware" ;
    .

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

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

<http://worldcat.org/isbn/9783658126803>
    a schema:ProductModel ;
    schema:isbn "3658126809" ;
    schema:isbn "9783658126803" ;
    .

<http://www.worldcat.org/title/-/oclc/949955946>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/949955946> ; # Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
    schema:dateModified "2018-05-07" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://doi.org/10.1007/978-3-658-12680-3>
    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.