skip to content
Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion Preview this item
ClosePreview this item
Checking...

Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion

Author: Steffen Helke
Dissertation: Berlin, Techn. Universiẗat, Diss., 2007.
Edition/Format:   Computer file : Thesis/dissertation : GermanView all editions and formats
Rating:

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

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: Thesis/dissertation, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Steffen Helke
OCLC Number: 222331558
Description: Online-Ressource
Responsibility: vorgelegt von Steffen Helke.

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/222331558> # Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion
    a schema:CreativeWork, bgn:ComputerFile, bgn:Thesis ;
    bgn:inSupportOf "Berlin, Techn. Universiẗat, Diss., 2007." ;
    library:oclcnum "222331558" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://dewey.info/class/005.131/e22/ger/> ;
    schema:author <http://experiment.worldcat.org/entity/work/data/2044870261#Person/helke_steffen> ; # Steffen Helke
    schema:datePublished "2007" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2044870261> ;
    schema:inLanguage "de" ;
    schema:name "Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion"@de ;
    schema:productID "222331558" ;
    schema:url <http://opus.kobv.de/tuberlin/volltexte/2008/1766/> ;
    schema:url <http://deposit.d-nb.de/cgi-bin/dokserv?idn=987700219> ;
    schema:url <http://nbn-resolving.de/urn:nbn:de:kobv:83-opus-17665> ;
    schema:url <http://opus.kobv.de/tuberlin/volltexte/2008/1766/pdf/helke_steffen.pdf> ;
    schema:url <http://d-nb.info/987700219/34> ;
    umbel:isLike <http://d-nb.info/987700219> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/222331558> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2044870261#Person/helke_steffen> # Steffen Helke
    a schema:Person ;
    schema:familyName "Helke" ;
    schema:givenName "Steffen" ;
    schema:name "Steffen Helke" ;
    .

<http://www.worldcat.org/title/-/oclc/222331558>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/222331558> ; # Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion
    schema:dateModified "2018-08-12" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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