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
Database:WorldCat
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:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "9413520" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/205346939#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/1046280> ; # Operating systems (Computers)
    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/type_abstrait> ; # type abstrait
    schema:about <http://experiment.worldcat.org/entity/work/data/205346939#Topic/sziam> ; # SZIAM
    schema:about <http://experiment.worldcat.org/entity/work/data/205346939#Topic/systemes_d_exploitation_ordinateurs> ; # Systèmes d'exploitation (Ordinateurs)
    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/espreso> ; # ESPRESO
    schema:about <http://experiment.worldcat.org/entity/work/data/205346939#Topic/conception_logiciel> ; # conception logiciel
    schema:about <http://experiment.worldcat.org/entity/work/data/205346939#Topic/cao> ; # CAO
    schema:about <http://experiment.worldcat.org/entity/work/data/205346939#Topic/cars> ; # CARS
    schema:about <http://experiment.worldcat.org/entity/work/data/205346939#Topic/genie_logiciel> ; # génie logiciel
    schema:about <http://experiment.worldcat.org/entity/work/data/205346939#Topic/logiciels_specifications> ; # Logiciels--Spécifications
    schema:about <http://experiment.worldcat.org/entity/work/data/205346939#Topic/systeme_distribue> ; # système distribué
    schema:about <http://dewey.info/class/001.642/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/205346939#Topic/developpement_logiciel> ; # développement logiciel
    schema:about <http://id.worldcat.org/fast/1141401> ; # System design
    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/conception_programme> ; # conception programme
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/205346939#Person/neuhold_erich_j> ; # Erich J. Neuhold
    schema:contributor <http://experiment.worldcat.org/entity/work/data/205346939#Person/knuth_e_elod_1943> ; # Előd Knuth
    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 publication"@en ;
    schema:genre "Conference papers and proceedings"@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://dx.doi.org/10.1007/BFb0051556> ;
    schema:workExample <http://worldcat.org/isbn/9780387122847> ;
    schema:workExample <http://worldcat.org/isbn/9783540122845> ;
    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#Person/knuth_e_elod_1943> # 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://experiment.worldcat.org/entity/work/data/205346939#Person/neuhold_erich_j> # Erich J. Neuhold
    a schema:Person ;
    schema:familyName "Neuhold" ;
    schema:givenName "Erich J." ;
    schema:name "Erich J. Neuhold" ;
    .

<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/conception_logiciel> # conception logiciel
    a schema:Intangible ;
    schema:name "conception logiciel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/205346939#Topic/conception_programme> # conception programme
    a schema:Intangible ;
    schema:name "conception programme"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/205346939#Topic/developpement_logiciel> # développement logiciel
    a schema:Intangible ;
    schema:name "développement logiciel"@en ;
    .

<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/systeme_distribue> # système distribué
    a schema:Intangible ;
    schema:name "système distribué"@en ;
    .

<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://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 "2016-06-19" ;
    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.