320pp. Illustrated. Text clean and bright, binding tight, scuffing/shelf wear to covers and edges. Proceedings of FMP '97, Wellington, NZ. Consists of 32 papers presented at the conference, pertaining to discrete mathematics and theoretical computer science. The focus is on mathematically-based techniques for design and development of computer systems, especially formal and rigorous methods for developing executable programs from abstract specifications, tool support for formal software development, and practical experience with formal methods. Topics also include software specification and verification, hardware specification and verification, and specification and development of real-time and concurrent systems.

Seller Inventory # S5-000237

Contact seller

Report this item

Bibliographic Details

Title: Formal Methods Pacific '97
Publisher: Springer-Verlag, Singapore
Publication Date: 1997
Language: English
ISBN 10: 981308331X
ISBN 13: 9789813083318
Binding: Soft Cover
Condition: Good

About this title

Synopsis

Formal Methods Pacific '97 is an umbrella conference, incorporating the 6th Australasian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium. The conference provided a forum for discussion of current research on mathematicallybased techniques for design and development of computer systems, especially formal and/or rigorous methods for developing executable programs from abstract specifications, tool support for formal software development, and practical experience with formal methods. Topics also include software specification and verification, hardware specification and verification, and specification and development of real-time and concurrent systems. The refereed papers included in these proceedings present significant contributions to current research in formal software development within Australasia, along with several contributions from other parts of the world. The conference also included informal presentations describing work in progress; abstracts only for these are included.

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

Store Description

Visit Seller's Storefront

Seller's business information

Book Booth
OH, U.S.A.

Sale & Shipping Terms

Terms of Sale

Checks and money orders are also accepted; please make checks or money orders payable to
Carol Casciani
441 W. Bagley Rd.
#173
Berea OH 44017

International orders must be pay...

More Information

Shipping Terms

Payment accepted via credit card, check/money order, or PayPal. Credit cards accepted via ABEbooks or PayPal ONLY -- please do not send us your credit card information, as we have no way of processing it ourselves. Our PayPal account is bookbooth@usa.com. If paying via PayPal, please remember to include shipping & handling charges. Checks and money orders are also accepted; please make them payable to: C.M. Casciani, 441 W. Bagley Rd. #173, Berea OH 44017. Library and institutional orders welcome; please email us if you require any special handling. International orders must be payable in US dollars. SHIPPING & HANDLING: all books shipped in USA via USPS; Media Mail 7-14 business days for delivery, $4.00 for first book - $1.50 each additional book; or, Priority Mail 2-4 business days for delivery, $6.00 first book - $2.50 each additional book. Returns for reasonable grading of condition; email us prior to return for shipping instructions.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 5.90	US$ 12.70

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.