skip to content
Algebraic Calculi for Separation Logic Preview this item
ClosePreview this item
Checking...

Algebraic Calculi for Separation Logic

Author: Han-Hing Dang
Publisher: 2014.
Dissertation: Augsburg, Univ., Diss., 2014.
Edition/Format:   Thesis/dissertation : Document : Thesis/dissertation : eBook   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

Material Type: Document, Thesis/dissertation, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Han-Hing Dang
OCLC Number: 912212027
Description: 1 online resource (199 Seiten)
Responsibility: vorgelegt von Han Hing Dang.

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/912212027> # Algebraic Calculi for Separation Logic
    a schema:Book, schema:CreativeWork, bgn:Thesis, schema:MediaObject ;
    bgn:inSupportOf "Augsburg, Univ., Diss., 2014." ;
    library:oclcnum "912212027" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3863334473#Topic/hoare_logik> ; # Hoare-Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/3863334473#Topic/kleene_algebra> ; # Kleene-Algebra
    schema:about <http://dewey.info/class/004/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3863334473#Topic/programmverifikation> ; # Programmverifikation
    schema:about <http://experiment.worldcat.org/entity/work/data/3863334473#Topic/nebenlaufigkeit> ; # Nebenläufigkeit
    schema:creator <http://experiment.worldcat.org/entity/work/data/3863334473#Person/dang_han_hing> ; # Han-Hing Dang
    schema:datePublished "2014" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3863334473> ;
    schema:inLanguage "en" ;
    schema:name "Algebraic Calculi for Separation Logic" ;
    schema:productID "912212027" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/912212027#PublicationEvent/2014> ;
    schema:url <http://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/2920> ;
    schema:url <http://nbn-resolving.de/urn:nbn:de:bvb:384-opus4-29201> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/912212027> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3863334473#Topic/nebenlaufigkeit> # Nebenläufigkeit
    a schema:Intangible ;
    schema:name "Nebenläufigkeit" ;
    .

<http://experiment.worldcat.org/entity/work/data/3863334473#Topic/programmverifikation> # Programmverifikation
    a schema:Intangible ;
    schema:name "Programmverifikation" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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