478 pp., hardcover, ex library, else text and binding clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Seller Inventory # ZB940845

Contact seller

Report this item

Bibliographic Details

Title

Constructive Methods in Computing Science: International Summer School (NATO ASI Series F: Computer and Systems Sciences, Volume 55)

Publisher

Springer

Publication Date

1989

Language

English

ISBN 10

3540513698

ISBN 13

9783540513698

Binding

Hardcover

Condition

Good

Seller catalogs

About this title

Synopsis

Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive methods in Computing Science. Some approaches to a methodological framework and to supporting tools for specification, development and verification of software systems were discussed in detail. Other lectures dealt with the relevance of the foundations of logic for questions of program construction and with new programming paradigms and formalisms which have proven to be useful for a constructive approach to software development. The construction, specification, design and verification especially of distributed and communicating systems was discussed in a number of complementary lectures. Examples for those approaches were given on several levels such as semaphores, nondeterministic state transition systems with fairness assumptions, decomposition of specifications for concurrent systems in liveness and safety properties and functional specifications of distributed systems. Construction methods in programming that were presented range from type theory, the theory of evidence, theorem provers for proving properties of functional programs to category theory as an abstract and general concept for the description of programming paradigms.

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

Store Description

Zubal Books is the #1 buyer and seller of scholarly and rare books in America. Since 1961 we've handled thousands of private and technical libraries. Our family business knows books and we treat our clients with top-notch customer service. If you have any questions about our listings, please don't hesitate to contact us. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Visit Seller's Storefront

Seller's business information

Zubal Books
2969 West 25th Street, Cleveland, OH, 44113, U.S.A.

Sale & Shipping Terms

Terms of Sale

Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

We do accept checks, however
WE DO NOT HOLD OR RESERVE ANY ITEMS

All international postal rates are subject to change depending on weight
and size.'

Paypal address is trace@zubal.com

Shipping Terms

Orders usually ship within 2 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.

Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 14 business days	3 to 5 business days
First item	US$ 4.50	US$ 14.00

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.