Items related to The Science of Programming (Monographs in Computer...

The Science of Programming (Monographs in Computer Science) - Softcover

 
9780387964805: The Science of Programming (Monographs in Computer Science)

Synopsis

Describes basic programming principles and their step-by- step applications.Numerous examples are included.

"synopsis" may belong to another edition of this title.

Synopsis

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. It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming (1976), involving a "calculus for the derivation of programs." Directing his materials to the computer programmer with at least one year of experience, Gries presents explicit principles behind program development, and then leads the reader through example programs using those principles. Propositions and predicate calculus are presented as a took for the programmer, rather than simply an object of study. The reader should come away with a fresh outlook on programming theory and practice, and the assurance to develop correct programs effectively.

"About this title" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date1987
  • ISBN 10 0387964800
  • ISBN 13 9780387964805
  • BindingPaperback
  • LanguageEnglish
  • Edition number1
  • Number of pages403

Buy Used

Condition: Good
Your purchase helps support Sri...
View this item

£ 2.74 shipping within United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

Search results for The Science of Programming (Monographs in Computer...

Stock Image

Gries, David
Published by Springer, 1987
ISBN 10: 0387964800 ISBN 13: 9780387964805
Used Softcover

Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-F-030-01730

Contact seller

Buy Used

£ 14.72
Convert currency
Shipping: £ 2.74
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Gries, David
Published by Springer, 1987
ISBN 10: 0387964800 ISBN 13: 9780387964805
Used Paperback

Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.22. Seller Inventory # G0387964800I3N00

Contact seller

Buy Used

£ 10.18
Convert currency
Shipping: £ 8.27
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Gries, David
Published by Springer, 1987
ISBN 10: 0387964800 ISBN 13: 9780387964805
Used Paperback

Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 1.22. Seller Inventory # G0387964800I5N00

Contact seller

Buy Used

£ 10.18
Convert currency
Shipping: £ 8.27
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Gries, David
Published by Springer, 1981
ISBN 10: 0387964800 ISBN 13: 9780387964805
Used Softcover

Seller: Anybook.com, Lincoln, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:0387964800. Seller Inventory # 4135857

Contact seller

Buy Used

£ 17.46
Convert currency
Shipping: £ 4.48
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

David Gries
Published by Springer New York, 1989
ISBN 10: 0387964800 ISBN 13: 9780387964805
Used Softcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 388 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 1275048/2

Contact seller

Buy Used

£ 14.94
Convert currency
Shipping: £ 7.61
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Gries, D.
Published by Springer, 1987
ISBN 10: 0387964800 ISBN 13: 9780387964805
Used Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. Seller Inventory # 672194-5

Contact seller

Buy Used

£ 60.65
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Gries, D.
Published by Springer, 1987
ISBN 10: 0387964800 ISBN 13: 9780387964805
Used Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 672194

Contact seller

Buy Used

£ 71.15
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Gries, David
Published by Springer, 1989
ISBN 10: 0387964800 ISBN 13: 9780387964805
Used Paperback

Seller: Griffin Books, Stamford, CT, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: As New. 1981. 5th Print. Looks unread with just a touch of shelf wear Please email for photos. Larger books or sets may require additional shipping charges. Books sent via US Postal. Seller Inventory # 92214

Contact seller

Buy Used

£ 42.18
Convert currency
Shipping: £ 29.79
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Gries, D.
Published by Springer, 1987
ISBN 10: 0387964800 ISBN 13: 9780387964805
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. Seller Inventory # 672194-5

Contact seller

Buy Used

£ 57.23
Convert currency
Shipping: £ 14.89
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Gries, D.
Published by Springer, 1987
ISBN 10: 0387964800 ISBN 13: 9780387964805
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 672194-n

Contact seller

Buy New

£ 79.11
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

There are 13 more copies of this book

View all search results for this book