skip to content
Fundamentals of algebraic specification / 1, Equations and initial semantics. Preview this item
ClosePreview this item
Checking...

Fundamentals of algebraic specification / 1, Equations and initial semantics.

Author: Hartmut Ehrig
Publisher: Berlin ; Heidelberg : Springer, 1985.
Series: European Association for Theoretical Computer Science.; EATCS monographs on theoretical computer science
Edition/Format:   Print book : 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: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Hartmut Ehrig
ISBN: 3540137181 9783540137184 0387137181 9780387137186
OCLC Number: 310772426
Notes: Literaturverz. S. [307] - 315.
Description: XI, 321 S. : graph. Darst.
Contents: 1 Equations and initial semantics. 2 Module specifications and constraints.
Series Title: European Association for Theoretical Computer Science.; EATCS monographs on theoretical computer science
Responsibility: H. Ehrig; B. Mahr.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/310772426> # Fundamentals of algebraic specification 1, Equations and initial semantics.
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "310772426" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/190020344#Place/heidelberg> ; # Heidelberg
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/190020344#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/190020344#Topic/algebraische_spezifikation> ; # Algebraische Spezifikation
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/190020344#Person/ehrig_hartmut> ; # Hartmut Ehrig
    schema:datePublished "1985" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/190020344> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/190020344#Series/eatcs_monographs_on_theoretical_computer_science> ; # EATCS monographs on theoretical computer science ;
    schema:name "Fundamentals of algebraic specification 1, Equations and initial semantics." ;
    schema:productID "310772426" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/310772426#PublicationEvent/berlin_heidelberg_springer_1985> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/190020344#Agent/springer> ; # Springer
    schema:url <http://www3.ub.tu-berlin.de/ihv/000008854.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9783540137184> ;
    schema:workExample <http://worldcat.org/isbn/9780387137186> ;
    umbel:isLike <http://d-nb.info/850326508> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/310772426> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/190020344#Organization/european_association_for_theoretical_computer_science> # European Association for Theoretical Computer Science.
    a schema:Organization ;
    schema:name "European Association for Theoretical Computer Science." ;
    .

<http://experiment.worldcat.org/entity/work/data/190020344#Person/ehrig_hartmut> # Hartmut Ehrig
    a schema:Person ;
    schema:familyName "Ehrig" ;
    schema:givenName "Hartmut" ;
    schema:name "Hartmut Ehrig" ;
    .

<http://experiment.worldcat.org/entity/work/data/190020344#Series/eatcs_monographs_on_theoretical_computer_science> # EATCS monographs on theoretical computer science ;
    a bgn:PublicationSeries ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/190020344#Organization/european_association_for_theoretical_computer_science> ; # European Association for Theoretical Computer Science.
    schema:hasPart <http://www.worldcat.org/oclc/310772426> ; # Fundamentals of algebraic specification 1, Equations and initial semantics.
    schema:name "EATCS monographs on theoretical computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/190020344#Topic/algebraische_spezifikation> # Algebraische Spezifikation
    a schema:Intangible ;
    schema:name "Algebraische Spezifikation" ;
    .

<http://worldcat.org/isbn/9780387137186>
    a schema:ProductModel ;
    schema:isbn "0387137181" ;
    schema:isbn "9780387137186" ;
    .

<http://worldcat.org/isbn/9783540137184>
    a schema:ProductModel ;
    schema:isbn "3540137181" ;
    schema:isbn "9783540137184" ;
    .

<http://www.worldcat.org/title/-/oclc/310772426>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/310772426> ; # Fundamentals of algebraic specification 1, Equations and initial semantics.
    schema:dateModified "2017-10-31" ;
    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.