The science of programming david gries this is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. I retired in 2011 but as of 2018 continue to teach, mainly the course cs2110, oo programming and data structures, which in spring 2018 had 609 sic students. David gries programming methodology a collection of. Buy the science of programming by david gries online at alibris.
The science of programming by gries, david, 1939publication date 1981 topics computer programming publisher new york. Texts and monographs in computer science editor david gries advisory board f. The science of programming has 3 available editions to buy at half price books marketplace same low prices, bigger selection, more fun. Science of computer programming is dedicated to the distribution of research results in the areas of software systems development, use and maintenance, including the software aspects of hardware design. Below are chegg supported textbooks by david gries. A library of congress cataloging in publication data. David gries programming methodology a collection of articles by members of ifip wg2. Programming and it was published by springer in 1981. Texts incomputer science editors david gries fred b. David gries retired in 2011 but continues to teach, mainly the course cs2110, oo programming and data structures, which in spring 2018 had 609 students. Formalizing and implementing gries program development.
Everyday low prices and free delivery on eligible orders. The science of programming monographs in computer science gries, david on. Reinfelds, juris, lecture notes on the science of programming for csci121, department of computing science, university of. The journal has a wide scope ranging from the many facets of methodological foundations to the details of technical issues andthe aspects of industrial practice. The science of programming monographs in computer science david gries on. The science of programming monographs in computer science. The science of programming monographs in computer science by gries, david 1989 paperback david gries on. In his book, the science of programming, david gries introduces a methodology for program development based on a guardedcommand language with a pre. The science of programming david gries cornell computer. The formal development of programsalgorithms created date.
Lecture notes on the science of programming for csci121. The science of programming by david gries goodreads. Buy the science of programming by david gries isbn. This is the very first book to discuss the theory and pri. Describes basic programming principles and their stepby step applications. David gries professor computer science department 460 gates hall cornell university ithaca, ny 14853.
462 376 1037 200 491 60 539 1506 906 1507 348 1230 1540 1421 1473 1218 634 363 1116 504 762 716 481 488 1136 548 607 704 1293 477