Formal Methods - Pacific 97: Proceedings of the Fmp'97, Wellington, New Zealand, 9-11 July 1997, Incorporating of the 6th Australian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium
Formal Methods - Pacific 97: Proceedings of the Fmp'97, Wellington, New Zealand, 9-11 July 1997, Incorporating of the 6th Australian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium
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 ...
Read More
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.
Read Less
Add this copy of Formal Methods Pacific '97 to cart. $53.00, good condition, Sold by bookbooth rated 4.0 out of 5 stars, ships from Berea, OH, UNITED STATES, published 1997 by Springer-Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. 6" x 9" 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.
Add this copy of Formal Methods-Pacific 97: Proceedings of the Fmp'97, to cart. $54.01, like new condition, Sold by Bookmonger.Ltd rated 4.0 out of 5 stars, ships from Hillside, NJ, UNITED STATES, published 1997 by Springer.
Add this copy of Formal Methods Pacific* 97-Proceedings of the Fmp*97 to cart. $79.23, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1997 by Springer.
