Programming Concepts and Methods: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 June 1998, Shelter Island, New York, USA - Ifip Advances in Information and Communication Technology - Chapman - Books - Chapman and Hall - 9780412837609 - May 31, 1998
In case cover and title do not match, the title is correct

Programming Concepts and Methods: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 June 1998, Shelter Island, New York, USA - Ifip Advances in Information and Communication Technology

Chapman

Price
A$ 339.99

Ordered from remote warehouse

Expected delivery Oct 31 - Nov 14

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Programming Concepts and Methods: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 June 1998, Shelter Island, New York, USA - Ifip Advances in Information and Communication Technology

Discusses some of the key issues in programming concepts and methods, with an emphasis on formal specification, formal verification and mathematical foundations. This book covers a number of topics in this field, including compositional approaches to specification and verification, the design of verification support tools and more.

486 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released May 31, 1998
ISBN13 9780412837609
Publishers Chapman and Hall
Pages 486
Dimensions 156 × 234 × 26 mm   ·   870 g
Editor De Roever, Willem-paul
Editor Gries, David
Show all

More by Chapman

Others have also bought

See all of Chapman ( e.g. Book , Hardcover Book , Paperback Book and CD )