skip to content
The science of programming. Preview this item
ClosePreview this item
Checking...

The science of programming.

Author: David Gries
Publisher: New York : Springer-Verlag, 1983, ©1981.
Series: Texts and monographs in 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 in the library

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

Details

Genre/Form: [manuel]
manuel
Document Type: Book
All Authors / Contributors: David Gries
ISBN: 038790641X 9780387906416
OCLC Number: 300391263
Description: xiii, 366 p.
Contents: Part 0. Why Use Logic? Why Prove Programs Correct?; Part 1. 1. Propositions; 2. Reasoning Using Equivalence Transformations; 3. A Natural Deduction System; 4. Predicates; 5. Notations and Conventions for Arrays; 6. Using Assertions to Document Programs; Part2. The Semantics of a Small Language; 7. The Predicate Transformer wp; 8. The Commands Skip, Abort and Composition; 9. The Assignment Command; 10. The Alternative Command; 12. Procedure Call; 11. The Iterative Command; 12. Procedure Call; Part 3. The Development of Programs; 13. Introduction; 14. Programming as a Goal-Oriented Activity; 15. Developing Loops From Invariants and Bounds; 16. Developing Invariants; 17. Notes on Bound Functions; 18. Using Iteration Instead of Recursion; 19. Efficiency Considerations; 20. Two Larger Examples of Program Development; 21. Inverting Programs; 22. Notes on Documentation; 23. Historical Notes; Appendix 1-4; Answers to Exercises; References; Index
Series Title: Texts and monographs in computer science.
Other Titles: Texts and monographs in computer science
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/300391263> # The science of programming.
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "300391263" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/879685#Thing/informatique> ; # Informatique
    schema:about <http://dewey.info/class/005.101/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/879685#Topic/semantique_langage> ; # sémantique langage
    schema:about <http://experiment.worldcat.org/entity/work/data/879685#Topic/methodologie_programmation> ; # méthodologie programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/879685#Topic/programmation_informatique> ; # Programmation (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/879685#Topic/ordinateurs_programmation> ; # Ordinateurs--Programmation
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/879685#Topic/programmation> ; # programmation
    schema:alternateName "Texts and monographs in computer science" ;
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/84025979> ; # David Gries
    schema:datePublished "1983" ;
    schema:datePublished "1981" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/879685> ;
    schema:genre "[manuel]" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/879685#Series/texts_and_monographs_in_computer_science> ; # Texts and monographs in computer science.
    schema:name "The science of programming." ;
    schema:numberOfPages "366" ;
    schema:productID "300391263" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/300391263#PublicationEvent/new_york_springer_verlag_1983_1981> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/879685#Agent/springer_verlag> ; # Springer-Verlag
    schema:workExample <http://worldcat.org/isbn/9780387906416> ;
    umbel:isLike <http://d-nb.info/820206148> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/300391263> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/879685#Series/texts_and_monographs_in_computer_science> # Texts and monographs in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/300391263> ; # The science of programming.
    schema:name "Texts and monographs in computer science." ;
    schema:name "Texts and monographs in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/879685#Thing/informatique> # Informatique
    a schema:Thing ;
    schema:name "Informatique" ;
    .

<http://experiment.worldcat.org/entity/work/data/879685#Topic/methodologie_programmation> # méthodologie programmation
    a schema:Intangible ;
    schema:name "méthodologie programmation" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/879685#Topic/semantique_langage> # sémantique langage
    a schema:Intangible ;
    schema:name "sémantique langage" ;
    .

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

<http://viaf.org/viaf/84025979> # David Gries
    a schema:Person ;
    schema:familyName "Gries" ;
    schema:givenName "David" ;
    schema:name "David Gries" ;
    .

<http://worldcat.org/isbn/9780387906416>
    a schema:ProductModel ;
    schema:isbn "038790641X" ;
    schema:isbn "9780387906416" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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