Brand New except for a single hand stamp is on the front flyleaf. The covers look great. The binding is tight. The interior pages are clean and unmarked. Electronic delivery tracking will be issued free of charge.

Seller Inventory # 06645

Contact seller

Report this item

Bibliographic Details

Title

Specification and Transformation of Programs: A Formal Approach to Software Development (Texts and Monographs in Computer Science)

Publisher

Springer, New York

Language

English

ISBN 10

0387523561

ISBN 13

9780387523569

Binding

Hardcover

Edition

First Edition.

Condition

As New

Dust Jacket Condition

No Jacket

Dimensions

Seller catalogs

New & Used Textbooks: Computer Science & Inform...

About this title

Synopsis

Specification and Transformation of Programs is short for a methodology of software development where, from a formal specification of a problem, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. This book is primarily intended as a general introductory textbook. It can also be seen as a comprehensive account of the transformational methodology developed within the Munich CIP project. The contents of the book reflect the essential steps in a sequential process of software development from an informally stated problem, via a formal problem specification, to a final, efficient program. Aspects considered include linguistic means for describing the various intermediate stages in the process, individual techniques for the transition between these stages, and strategies for applying these techniques. All aspects are illustrated by representative examples.

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

Store Description

Alien Bindings is an online bookshop located in Baltimore that has been in operation for nearly 20 years. Alien Bindings caters to the sciences including the physical sciences, astronomy, mathematics, computer science, the social sciences and medicine. I also dabble in a wide array of other categories including antiquarian books and history. I run a clean, green business. I try to reuse clean materials for packaging whenever possible. For example, books are carefully packaged frequently using clean cardboard for custom made boxes, recycled paper is used for printed labels and recycled plastic or bubble wrap is used for a weather-proof barrier. I drop the packages off to my local post office via foot or cycle in order to further reduce the carbon footprint.

Visit Seller's Storefront

Seller's business information

Alien Bindings
MD, U.S.A.

Sale & Shipping Terms

Terms of Sale

Shipping Terms

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 14 business days	3 to 6 business days
First item	US$ 0.00	US$ 9.99

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.