A very nice copy. No marks of any kind. Uncreased spine. Very mild cover wear. **We provide professional service and individual attention to your order, daily shipments, and sturdy packaging. FREE TRACKING ON ALL SHIPMENTS WITHIN USA.

Seller Inventory # 41754

Contact seller

Report this item

Bibliographic Details

Title

Methods of Programming Selected Papers on the Cip-Project (Lecture Notes in Computer Science).

Publisher

Springer, Berlin

Publication Date

1991

Language

English

ISBN 10

038754576X

ISBN 13

9780387545769

Binding

Paperback

Condition

VERY GOOD

Seller catalogs

Computers & software

About this title

Synopsis

The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming), a group of researchers led by Prof. F.L. Bauer and Prof. K. Samelson started work in 1975 in the direction of formal program specification, transformational programming, and tool support for program development. The collection of papers in this volume presents examples of a formal approach to programming language concepts and program development based on algebraic specifications and program transformations. Examples are also presented of evolutions and modifications of the original ideas of the CIP project. The topics range from descriptions of the program development process to derivations of algorithms from specifications. The volume is dedicated to Prof. F.L. Bauer.

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

Store Description

Welcome to Brentwood Books! We are a two generation small family business (our young adult kids help too). We have over 30 years experience selling books and offer a wide selection of interesting new and pre-owned books at great prices. Your book will be packed with great care (NO thin plastic bags -we usually use cardboard boxes or cardboard wraps as well as inner plastic bags) and mailed to you very quickly. We always use Delivery Confirmation, so your package can be tracked. Please note, if you are paying by check, it must be made payable to "Wood's Books", our original name. Thank you for supporting our small business!

Visit Seller's Storefront

Seller's business information

Brentwood Books
NJ, U.S.A.

Sale & Shipping Terms

Terms of Sale

METHODS OF PAYMENT: Credit card payments must be processed via ABE. For US
orders, we also accept Paypal, check, or money order. For INTERNATIONAL orders,
we accept Paypal only.
SHIPPING RATES: USA: By US Postal Service "Media Mail" - $3.98. Media Mail
service usually takes from 4 to 21 business days to arrive. By Priority Mail - if your book will fit in a USPS Flat rate envelope, cost is
$8.59. If not, it will be at our cost, which varies by location, size and weight We will contact you .Priori...

More Information

Shipping Terms

Orders usually ship within 1 business days. 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. We are great packers - no plastic baggies for you. Our love of books is reflected in the care we take to be sure your book arrives in great shape.