skip to content
Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings Preview this item
ClosePreview this item
Checking...

Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings

Author: E Knuth; Erich J Neuhold
Publisher: Berlin ; New York : Springer-Verlag, 1983.
Series: Lecture notes in computer science, 152.
Edition/Format:   Print book : Document : Conference publication   Computer File : EnglishView all editions and formats
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

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
Conference on Operating Systems (1982 : Visegrád, Hungary).
Specification and design of software systems.
Berlin ; New York : Springer-Verlag, 1983
(OCoLC)561737439
Material Type: Conference publication, Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: E Knuth; Erich J Neuhold
ISBN: 0387122842 9780387122847 3540122842 9783540122845
OCLC Number: 9413520
Description: 152 pages : illustrations ; 24 cm.
Contents: System cars and its description language.- Software structuring: A pragmatic approach.- Development methodologies for event and message based application systems.- Software development in LDM.- Distributed computer systems: Two views.- Sziam: A data model design aid.- Espreso - A system for process control software specification.- Program design - A practical approach.- On implementation problems of shared abstract data types.
Series Title: Lecture notes in computer science, 152.
Responsibility: edited by E. Knuth and E.J. Neuhold.

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/9413520> # Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "9413520" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/205346939#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/205346939#Topic/computer_software_specifications> ; # Computer software--Specifications
    schema:about <http://experiment.worldcat.org/entity/work/data/205346939#Topic/systemes_d_exploitation_ordinateurs> ; # Systèmes d'exploitation (Ordinateurs)
    schema:about <http://dewey.info/class/001.642/e19/> ;
    schema:about <http://id.worldcat.org/fast/1046280> ; # Operating systems (Computers)
    schema:about <http://id.worldcat.org/fast/872591> ; # Computer software--Specifications
    schema:about <http://id.worldcat.org/fast/1141401> ; # System design
    schema:about <http://experiment.worldcat.org/entity/work/data/205346939#Topic/systemes_conception_de> ; # Systèmes, Conception de
    schema:about <http://experiment.worldcat.org/entity/work/data/205346939#Topic/system_design> ; # System design
    schema:about <http://experiment.worldcat.org/entity/work/data/205346939#Topic/logiciels_specifications> ; # Logiciels--Spécifications
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/108211035> ; # Előd Knuth
    schema:contributor <http://viaf.org/viaf/64548939> ; # Erich J. Neuhold
    schema:creator <http://experiment.worldcat.org/entity/work/data/205346939#Meeting/conference_on_operating_systems_1982_visegrad_hungary> ; # Conference on Operating Systems (1982 : Visegrád, Hungary)
    schema:datePublished "1983" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/205346939> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/205346939#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/561737439> ;
    schema:name "Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings"@en ;
    schema:productID "9413520" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/9413520#PublicationEvent/berlin_new_york_springer_verlag_1983> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/205346939#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc> ;
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/9413520.html> ;
    schema:url <http://dx.doi.org/10.1007/BFb0051556> ;
    schema:workExample <http://worldcat.org/isbn/9783540122845> ;
    schema:workExample <http://worldcat.org/isbn/9780387122847> ;
    umbel:isLike <http://d-nb.info/830484116> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/9413520> ;
    .


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/205346939#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/205346939#Meeting/conference_on_operating_systems_1982_visegrad_hungary> # Conference on Operating Systems (1982 : Visegrád, Hungary)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/205346939#Place/visegrad_hungary> ; # Visegrád, Hungary)
    schema:name "Conference on Operating Systems (1982 : Visegrád, Hungary)" ;
    .

<http://experiment.worldcat.org/entity/work/data/205346939#Place/visegrad_hungary> # Visegrád, Hungary)
    a schema:Place ;
    schema:name "Visegrád, Hungary)" ;
    .

<http://experiment.worldcat.org/entity/work/data/205346939#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/9413520> ; # Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/205346939#Topic/logiciels_specifications> # Logiciels--Spécifications
    a schema:Intangible ;
    schema:name "Logiciels--Spécifications"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/205346939#Topic/systemes_conception_de> # Systèmes, Conception de
    a schema:Intangible ;
    schema:name "Systèmes, Conception de"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/205346939#Topic/systemes_d_exploitation_ordinateurs> # Systèmes d'exploitation (Ordinateurs)
    a schema:Intangible ;
    schema:name "Systèmes d'exploitation (Ordinateurs)"@fr ;
    .

<http://id.worldcat.org/fast/1046280> # Operating systems (Computers)
    a schema:Intangible ;
    schema:name "Operating systems (Computers)"@en ;
    .

<http://id.worldcat.org/fast/1141401> # System design
    a schema:Intangible ;
    schema:name "System design"@en ;
    .

<http://id.worldcat.org/fast/872591> # Computer software--Specifications
    a schema:Intangible ;
    schema:name "Computer software--Specifications"@en ;
    .

<http://viaf.org/viaf/108211035> # Előd Knuth
    a schema:Person ;
    schema:birthDate "1943" ;
    schema:familyName "Knuth" ;
    schema:givenName "Előd" ;
    schema:givenName "E." ;
    schema:name "Előd Knuth" ;
    .

<http://viaf.org/viaf/64548939> # Erich J. Neuhold
    a schema:Person ;
    schema:familyName "Neuhold" ;
    schema:givenName "Erich J." ;
    schema:name "Erich J. Neuhold" ;
    .

<http://worldcat.org/isbn/9780387122847>
    a schema:ProductModel ;
    schema:isbn "0387122842" ;
    schema:isbn "9780387122847" ;
    .

<http://worldcat.org/isbn/9783540122845>
    a schema:ProductModel ;
    schema:isbn "3540122842" ;
    schema:isbn "9783540122845" ;
    .

<http://www.worldcat.org/oclc/561737439>
    a schema:CreativeWork ;
    rdfs:label "Specification and design of software systems." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/9413520> ; # Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings
    .

<http://www.worldcat.org/title/-/oclc/9413520>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/9413520> ; # Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings
    schema:dateModified "2017-12-01" ;
    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.