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.

Codice articolo 035071

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Abstraction and Specification in Program Development
Editore: The M.I.T. Press, Cambridge, MA
Data di pubblicazione: 1987
Lingua: Inglese
ISBN 10: 0262121123
ISBN 13: 9780262121125
Rilegatura: Hardcover
Edizione: Second Printing.
Condizione: Near Fine
Condizione della sovraccoperta: Very Good

Descrizione articolo

Riassunto

"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. Barbara Liskov, the developer of CLU, is Professor and John Guttag an Associate Professor of Computer Science at MIT. "Abstraction and Specification in Program Development" is included in the MIT Electrical Engineering and Computer Science series.

Product Description

Book by Liskov Barbara Guttag John V

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

The Chatham Bookseller has been in historic Madison, NJ for more than forty-five years. Ours is a general shop which emphasizes good literature, art and scholarly books in many different fields. We also sell rare books, first editions, ephemera, and classical and jazz CDs. The shop is open six days a week and we encourage browsing. We are happy to bring out books listed online upon request. We also do book searches and appraisals. Since February 2015, The Chatham Bookseller has been owned and operated by Richard Chalfin and Kathy Rodgers who have decades of experience in bookselling prior to taking over the shop. The store hours are 9-5:30 Tuesday through Friday except 6:30 on Thursday, 10:00 to 5:00 on Saturday and 12-5 on Sunday. The business is owned and operated by Richard Chalfin and Kathy Rodgers

Visita la pagina della libreria

Informazioni sull?azienda del venditore

The Chatham Bookseller, LLC
8 Green Village Road, Madison, NJ, 07940, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

All sales are net. Prepayment is required. Postage in US: Items will be sent at Book Rate unless Priority Mail is requested; $4.00 for the first item (Book Rate), or $6.00 for Priority Mail, $1.50 for each additional book. Postage for unusually heavy or valuable books may be more. Please contact us for international postage rates. Books may be returned within 30 days of the Estimated Delivery Date. Credit cards accepted: VISA, MC, AMEX, Discover. The Chatham Bookseller, LLC is a limited liabilit...

Ulteriori informazioni

Condizioni di spedizione

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.