Title: Mathematical Structures for Software Engineering - based on the proceedings of a conference organized by the Systems and Software Engineering Specialist Group of the Insititute of Mathematics and its Applications held at Manchester Polytechnic in July 1988.
Publisher: Oxford: Calrendon Press (The Institute of Mathematics and its Applications Conference Series)
Publication Date: 1991
Language: English
ISBN 10: 0198536275
ISBN 13: 9780198536277
Binding: Hardcover
Condition: Very Good
Dust Jacket Condition: Dust Jacket Included

About this title

Synopsis

This volume is concerned with the application of formal mathematical methods in software engineering. As the design, writing and testing of software becomes a major sector of economic activity, the need for rigorous techniques has also grown. The papers in this book are devoted to various mathematical structures which find use in aspects of software design, and they cover topics such as the formal specification of systems, the design of communications software, and concurrent processing. All the contributors are experts in their respective fields. As a result, this collection provides a timely survey of this rapidly growing area. Software engineers and computer scientists will find this work to be an invaluable reference source. Mathematicians will appreciate the discussions of the contribution that their discipline can make and the interesting challenges for the future.

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

Store Description

Our shop is now closed. We work from a local warehouse. Visitors by appointment. Our stock of 45,000 items includes academic books, enthusiasts' books, and antiquarian books.

Visit Seller's Storefront

Seller's business information

G. & J. CHESTERS
United Kingdom

Sale & Shipping Terms

Terms of Sale

ALL BOOKS ARE IN VERY GOOD CONDITION UNLESS OTHERWISE DESCRIBED. ANY BOOK WHICH IS CONSIDERED TO BE WRONGLY DESCRIBED AND WITH WHICH THE CUSTOMER IS NOT SATISFIED MAY BE RETURNED AND MONEY WILL BE REFUNDED. TWO ASTERISKS AFTER THE DATE OF PUBLICATION SIGNIFY AN EX-LIBRARY COPY IN GENERALLY VERY GOOD CONDITION. "DW" IS AN ABBREVIATION FOR DUSTWRAPPER (OR DUST-JACKET).
WE TAKE VISA and MASTERCARD. PLEASE INDICATE ANY PREFERENCE FOR SURFACE MAIL OR AIRMAIL (IF YOU DO NOT LIVE IN EUROPE).
NOTE THAT ...

More Information

Shipping Terms

Postage and packing is always at cost (the only fair system) so please ignore the irrelevant default figure. If the book which you order is heavy or oversized, we will contact you to let you know that extra shipping is required. On the other hand, if the book is very light, we will reduce the postage costs.
If you know that the book which you wish to buy is heavy, you could email us to learn the postage before ordering.

Shipping rates from United Kingdom to U.S.A.

Shipping rates from United Kingdom to U.S.A.
Order quantity	14 to 45 business days	5 to 10 business days
First item	US$ 9.52	US$ 12.31

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.