Articles liés à Abstraction and Specification in Program Development
Synopsis
Abstraction and Specification in Program Development offers professionals in program design and software engineering a methodology that will enable them to construct programs that are reliable and reasonably easy to understand, modify, and maintain. Good programming involves the systematic mastery of complexity, and this book provides the first unified treatment of the techniques of abstraction and specification, which, the authors argue, are the linchpin of any effective approach to programming. They place particular emphasis on the use of data abstraction to produce highly modular programs. The authors focus on the process of decomposing large program projects into independent modules that can be assigned to independent working groups. They discuss methods of decomposition, the kinds of modules that are most useful in this process, and techniques to increase the likelihood that modules produced can in fact be recombined to solve the original programming problem. There are many examples of abstractions throughout the text, and each chapter ends with pertinent references and exercises. Most of the sample implementations in the book are written in CLU, one of a growing number of languages able to support data abstraction. Sufficient material is included, however, to allow the reader to work in Pascal as well. The material in this book was developed by the authors during a decade of teaching undergraduate, graduate, and professional-level courses.
Abstraction and Specification in Program Development is included in the MIT Electrical Engineering and Computer Science series.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Barbara Liskov, the developer of CLU, is Professor of Computer Science at MIT.
John V. Guttag is the Dugald C. Jackson Professor of Computer Science and Electrical Engineering at MIT.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurThe MIT Press
- Date d'édition1986
- ISBN 10 0262121123
- ISBN 13 9780262121125
- ReliureRelié
- Langueanglais
- Nombre de pages450
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 689,08
EUR 26 expédition depuis Etats-Unis vers France
Destinations, frais et délais
Résultats de recherche pour Abstraction and Specification in Program Development
Image d'archives
Abstraction and Specification in Program Development (MIT Electrical Engineering and Computer Science)
Edité par
The MIT Press / NY: McGraw-Hill, 1986
ISBN 10 : 0262121123
ISBN 13 : 9780262121125
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.15. N° de réf. du vendeur G0262121123I3N01
Quantité disponible : 1 disponible(s)
Image d'archives
Abstraction and Specification in Program Development (MIT Electrical Engineering and Computer Science)
Edité par
The MIT Press / NY: McGraw-Hill, 1986
ISBN 10 : 0262121123
ISBN 13 : 9780262121125
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.15. N° de réf. du vendeur G0262121123I3N01
Quantité disponible : 1 disponible(s)
Image d'archives
Abstraction and Specification in Programme Development
Edité par
MIT Press, 1986
ISBN 10 : 0262121123
ISBN 13 : 9780262121125
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur G-128-625
Quantité disponible : 1 disponible(s)
Image d'archives
Abstraction and Specification in Programme Development
Edité par
MIT Press, 1986
ISBN 10 : 0262121123
ISBN 13 : 9780262121125
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur G-128-781
Quantité disponible : 1 disponible(s)
Image d'archives
Abstraction and Specification in Programme Development
Edité par
MIT Press, 1986
ISBN 10 : 0262121123
ISBN 13 : 9780262121125
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur G-128-630
Quantité disponible : 1 disponible(s)
Image d'archives
Abstraction and Specification in Program Development
Edité par
MIT Press, 1986
ISBN 10 : 0262121123
ISBN 13 : 9780262121125
Ancien ou d'occasion
Couverture rigide
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1000grams, ISBN:0262121123. N° de réf. du vendeur 9629318
Quantité disponible : 1 disponible(s)
Image d'archives
Abstraction and Specification in Program Development (The MIT Electrical Engineering and Computer Science Series)
Edité par
The MIT Press, 1986
ISBN 10 : 0262121123
ISBN 13 : 9780262121125
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Couverture différente. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Different cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-850-518
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Abstraction and Specification in Program Development (MIT Electrical Engineering and Computer Science)
Edité par
The MIT Press / NY: McGraw-Hill, 1986
ISBN 10 : 0262121123
ISBN 13 : 9780262121125
Ancien ou d'occasion
Couverture rigide
Vendeur : Bay State Book Company, North Smithfield, RI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing. N° de réf. du vendeur BSM.J4AC
Quantité disponible : 1 disponible(s)
Image d'archives
Abstraction and Specification in Program Development
Edité par
The M.I.T. Press, Cambridge, MA, 1987
ISBN 10 : 0262121123
ISBN 13 : 9780262121125
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : The Chatham Bookseller, Madison, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Near Fine. Etat de la jaquette : Very Good. Second Printing. 469pp. Red boards, white lettering. Like new. Unclipped purple and red jacket has superficial wear to the extremities."Abstraction and Specification in Program Development offers professionals in program design and software engineering a methodology that will enable them to construct programs that are reliable and reasonably easy to understand, modify, and maintain." Size: Octavo. N° de réf. du vendeur 035071
Quantité disponible : 1 disponible(s)
Image d'archives
Abstraction and Specification in Program Development.
Edité par
MIT Press / McGraw Hill., 1986
ISBN 10 : 0262121123
ISBN 13 : 9780262121125
Ancien ou d'occasion
Couverture rigide
Vendeur : TotalitarianMedia, Los Angeles, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Very Good. Dust Jacket Included. Abstraction and Specification in Program Development. Barbara Liskov; John Guttag. Published by The MIT Press / McGraw Hill. 1986. Timmons, Grady. Published by Editions Ltd, 1989.Timmons, Grady.hardcover with dust jacket, dust jacket bumped/scuffed, boards clean/square, binding tight, text clean/unmarked, NOT xlib--- ISBN 10: 0262121123ISBN 13: 9780262121125--50.00. N° de réf. du vendeur ABE-1630698661861
Quantité disponible : 1 disponible(s)