skip to content
The specification of computer programs Preview this item
ClosePreview this item
Checking...

The specification of computer programs

Author: Władysław Turski; Thomas S E Maibaum
Publisher: Wokingham, England ; Reading, Mass. : Addison-Wesley, ©1987.
Series: International computer science series.
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 in the library

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

Details

Additional Physical Format: Online version:
Turski, Władysław.
Specification of computer programs.
Wokingham, England ; Reading, Mass. : Addison-Wesley, ©1987
(OCoLC)573547492
Document Type: Book
All Authors / Contributors: Władysław Turski; Thomas S E Maibaum
ISBN: 0201142260 9780201142266
OCLC Number: 15084156
Description: x, 278 pages : illustrations ; 25 cm.
Series Title: International computer science series.
Responsibility: Władysław M. Turski, Thomas S.E. Maibaum.

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/15084156> # The specification of computer programs
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "15084156" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/9077695#Place/wokingham_england> ; # Wokingham, England
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/9077695#Place/reading_mass> ; # Reading, Mass.
    schema:about <http://experiment.worldcat.org/entity/work/data/9077695#Topic/programacao_de_computadores> ; # Programacao De Computadores
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
    schema:about <http://experiment.worldcat.org/entity/work/data/9077695#Topic/softwarespezifikation> ; # Softwarespezifikation
    schema:about <http://experiment.worldcat.org/entity/work/data/9077695#Topic/logiciels_developpement> ; # Logiciels--Développement
    schema:about <http://id.loc.gov/authorities/subjects/sh85029535> ; # Computer software--Development
    schema:about <http://experiment.worldcat.org/entity/work/data/9077695#Thing/computer_systems> ; # Computer systems
    schema:about <http://experiment.worldcat.org/entity/work/data/9077695#Topic/linguagens_de_programacao_computadores> ; # Linguagens De Programacao (Computadores)
    schema:about <http://experiment.worldcat.org/entity/work/data/9077695#Topic/programmation_informatique> ; # Programmation (Informatique)
    schema:about <http://dewey.info/class/005.1/e19/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/110055894> ; # Thomas S. E. Maibaum
    schema:copyrightYear "1987" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/9077695#Person/turski_wladyslaw> ; # Władysław Turski
    schema:datePublished "1987" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/9077695> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9077695#Series/international_computer_science_series> ; # International computer science series.
    schema:isSimilarTo <http://www.worldcat.org/oclc/573547492> ;
    schema:name "The specification of computer programs"@en ;
    schema:productID "15084156" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/15084156#PublicationEvent/wokingham_england_reading_mass_addison_wesley_1987> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/9077695#Agent/addison_wesley> ; # Addison-Wesley
    schema:workExample <http://worldcat.org/isbn/9780201142266> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8707776> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/15084156> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/9077695#Agent/addison_wesley> # Addison-Wesley
    a bgn:Agent ;
    schema:name "Addison-Wesley" ;
    .

<http://experiment.worldcat.org/entity/work/data/9077695#Person/turski_wladyslaw> # Władysław Turski
    a schema:Person ;
    schema:familyName "Turski" ;
    schema:givenName "Władysław" ;
    schema:name "Władysław Turski" ;
    .

<http://experiment.worldcat.org/entity/work/data/9077695#Place/reading_mass> # Reading, Mass.
    a schema:Place ;
    schema:name "Reading, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/9077695#Place/wokingham_england> # Wokingham, England
    a schema:Place ;
    schema:name "Wokingham, England" ;
    .

<http://experiment.worldcat.org/entity/work/data/9077695#Series/international_computer_science_series> # International computer science series.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/15084156> ; # The specification of computer programs
    schema:name "International computer science series." ;
    schema:name "International computer science series" ;
    .

<http://experiment.worldcat.org/entity/work/data/9077695#Thing/computer_systems> # Computer systems
    a schema:Thing ;
    schema:name "Computer systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/9077695#Topic/linguagens_de_programacao_computadores> # Linguagens De Programacao (Computadores)
    a schema:Intangible ;
    schema:name "Linguagens De Programacao (Computadores)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/9077695#Topic/logiciels_developpement> # Logiciels--Développement
    a schema:Intangible ;
    schema:name "Logiciels--Développement"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/9077695#Topic/programacao_de_computadores> # Programacao De Computadores
    a schema:Intangible ;
    schema:name "Programacao De Computadores"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/9077695#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
    schema:name "Programmation (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/9077695#Topic/softwarespezifikation> # Softwarespezifikation
    a schema:Intangible ;
    schema:name "Softwarespezifikation"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85029535> # Computer software--Development
    a schema:Intangible ;
    schema:name "Computer software--Development"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@en ;
    .

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

<http://viaf.org/viaf/110055894> # Thomas S. E. Maibaum
    a schema:Person ;
    schema:birthDate "1947" ;
    schema:familyName "Maibaum" ;
    schema:givenName "Thomas S. E." ;
    schema:name "Thomas S. E. Maibaum" ;
    .

<http://worldcat.org/isbn/9780201142266>
    a schema:ProductModel ;
    schema:isbn "0201142260" ;
    schema:isbn "9780201142266" ;
    .

<http://www.worldcat.org/oclc/573547492>
    a schema:CreativeWork ;
    rdfs:label "Specification of computer programs." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/15084156> ; # The specification of computer programs
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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