skip to content
Program construction Preview this item
ClosePreview this item
Checking...

Program construction

Author: R G Stone; D J Cooke
Publisher: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987.
Series: Cambridge computer science texts, 22.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the  Read more...

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: R G Stone; D J Cooke
ISBN: 0521268230 9780521268233 0521318831 9780521318839
OCLC Number: 13643074
Description: x, 372 pages : illustrations ; 24 cm.
Contents: Preface; 1. A modern approach to computing; 2. Specifications I; 3. Diagrams; 4. Specifications II; 5. PDL; 6. Code generation; 7. Verification; 8. Examination of templates and target code; 9. Abstract data types; 10. The mathematical basis of abstract data types; 11. Utilisation of existing programs; 12. A small scale study - topological sorting; Appendices; References; Index.
Series Title: Cambridge computer science texts, 22.
Responsibility: R.G. Stone and D.J. Cooke.
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/13643074> # Program construction
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "13643074" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/7693277#Place/cambridge_cambridgeshire> ; # Cambridge Cambridgeshire
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/7693277#Topic/programmierung> ; # Programmierung
    schema:about <http://experiment.worldcat.org/entity/work/data/7693277#Topic/ordinateurs_programmation> ; # Ordinateurs--Programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/7693277#Topic/diagramme> ; # diagramme
    schema:about <http://dewey.info/class/005.1/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/7693277#Topic/construction_programme> ; # CONSTRUCTION PROGRAMME
    schema:about <http://experiment.worldcat.org/entity/work/data/7693277#Topic/type_donnee> ; # type donnée
    schema:about <http://experiment.worldcat.org/entity/work/data/7693277#Topic/langage_description> ; # langage description
    schema:about <http://experiment.worldcat.org/entity/work/data/7693277#Topic/type_abstrait> ; # type abstrait
    schema:about <http://experiment.worldcat.org/entity/work/data/7693277#Thing/computer_systems> ; # Computer systems
    schema:about <http://experiment.worldcat.org/entity/work/data/7693277#Topic/generation_code> ; # génération code
    schema:about <http://experiment.worldcat.org/entity/work/data/7693277#Topic/computer_programming> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/7693277#Topic/ordinateurs> ; # Ordinateurs
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/108682012> ; # Derek John Cooke
    schema:creator <http://viaf.org/viaf/93706163> ; # R. G. Stone
    schema:datePublished "1987" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/7693277> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/7693277#Series/cambridge_computer_science_texts> ; # Cambridge computer science texts ;
    schema:name "Program construction"@en ;
    schema:productID "13643074" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/13643074#PublicationEvent/cambridge_cambridgeshire_new_york_cambridge_university_press_1987> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/7693277#Agent/cambridge_university_press> ; # Cambridge University Press
    schema:url <http://www.gbv.de/dms/bowker/toc/9780521268233.pdf> ;
    schema:url <http://catdir.loc.gov/catdir/toc/cam029/86012954.html> ;
    schema:workExample <http://worldcat.org/isbn/9780521268233> ;
    schema:workExample <http://worldcat.org/isbn/9780521318839> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8615821> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/13643074> ;
    .


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/7693277#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
    schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/7693277#Place/cambridge_cambridgeshire> # Cambridge Cambridgeshire
    a schema:Place ;
    schema:name "Cambridge Cambridgeshire" ;
    .

<http://experiment.worldcat.org/entity/work/data/7693277#Series/cambridge_computer_science_texts> # Cambridge computer science texts ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/13643074> ; # Program construction
    schema:name "Cambridge computer science texts ;" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/7693277#Topic/computer_programming> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/7693277#Topic/construction_programme> # CONSTRUCTION PROGRAMME
    a schema:Intangible ;
    schema:name "CONSTRUCTION PROGRAMME"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/7693277#Topic/generation_code> # génération code
    a schema:Intangible ;
    schema:name "génération code"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/7693277#Topic/langage_description> # langage description
    a schema:Intangible ;
    schema:name "langage description"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/7693277#Topic/ordinateurs_programmation> # Ordinateurs--Programmation
    a schema:Intangible ;
    schema:name "Ordinateurs--Programmation"@en ;
    .

<http://viaf.org/viaf/108682012> # Derek John Cooke
    a schema:Person ;
    schema:birthDate "1947" ;
    schema:familyName "Cooke" ;
    schema:givenName "Derek John" ;
    schema:givenName "D. J." ;
    schema:name "Derek John Cooke" ;
    .

<http://viaf.org/viaf/93706163> # R. G. Stone
    a schema:Person ;
    schema:birthDate "1950" ;
    schema:familyName "Stone" ;
    schema:givenName "R. G." ;
    schema:name "R. G. Stone" ;
    .

<http://worldcat.org/isbn/9780521268233>
    a schema:ProductModel ;
    schema:isbn "0521268230" ;
    schema:isbn "9780521268233" ;
    .

<http://worldcat.org/isbn/9780521318839>
    a schema:ProductModel ;
    schema:isbn "0521318831" ;
    schema:isbn "9780521318839" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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