skip to content
Logik für Software-Ingenieure Preview this item
ClosePreview this item
Checking...

Logik für Software-Ingenieure

Author: Günter Matthiessen
Publisher: Berlin ; New York : De Gruyter, 1991.
Series: Programmierung komplexer Systeme, 3.
Edition/Format:   Print book : German
Rating:

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

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Günter Matthiessen
ISBN: 3110122286 9783110122282
OCLC Number: 75211350
Notes: Literaturverz. S. 271 - 276.
Description: x, 282 S. : ill., graph. Darst. ; 23 cm.
Series Title: Programmierung komplexer Systeme, 3.
Responsibility: Günter Matthiessen.
More information:

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/75211350> # Logik für Software-Ingenieure
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "75211350" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/61311614#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/61311614#Topic/software> ; # Software
   schema:about <http://experiment.worldcat.org/entity/work/data/61311614#Topic/software_engineering> ; # Software Engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/61311614#Topic/logische_programmierung> ; # Logische Programmierung
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/61311614#Topic/mathematische_logik_informatik> ; # Mathematische Logik--Informatik
   schema:about <http://experiment.worldcat.org/entity/work/data/61311614#Topic/logik> ; # Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/61311614#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/61311614#Topic/informatik> ; # Informatik
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/27622585> ; # Günter Matthiessen
   schema:datePublished "1991" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/61311614> ;
   schema:inLanguage "de" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/61311614#Series/programmierung_komplexer_systeme> ; # Programmierung komplexer Systeme ;
   schema:name "Logik für Software-Ingenieure"@de ;
   schema:productID "75211350" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/75211350#PublicationEvent/berlin_new_york_de_gruyter_1991> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/61311614#Agent/de_gruyter> ; # De Gruyter
   schema:workExample <http://worldcat.org/isbn/9783110122282> ;
   umbel:isLike <http://d-nb.info/911066705> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/75211350> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/61311614#Series/programmierung_komplexer_systeme> # Programmierung komplexer Systeme ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/75211350> ; # Logik für Software-Ingenieure
   schema:name "Programmierung komplexer Systeme ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/61311614#Topic/logische_programmierung> # Logische Programmierung
    a schema:Intangible ;
   schema:name "Logische Programmierung"@de ;
    .

<http://experiment.worldcat.org/entity/work/data/61311614#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@de ;
    .

<http://experiment.worldcat.org/entity/work/data/61311614#Topic/mathematische_logik_informatik> # Mathematische Logik--Informatik
    a schema:Intangible ;
   schema:name "Mathematische Logik--Informatik"@de ;
    .

<http://experiment.worldcat.org/entity/work/data/61311614#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
   schema:name "Software Engineering"@de ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@de ;
    .

<http://viaf.org/viaf/27622585> # Günter Matthiessen
    a schema:Person ;
   schema:familyName "Matthiessen" ;
   schema:givenName "Günter" ;
   schema:name "Günter Matthiessen" ;
    .

<http://worldcat.org/isbn/9783110122282>
    a schema:ProductModel ;
   schema:isbn "3110122286" ;
   schema:isbn "9783110122282" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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