Formal Methods

Name: Formal Methods: State of the Art and New Directions
Brand: Springer London Ltd
SKU: 9781848827356
Price: 7770.00 INR
Availability: InStock

State of the Art and New Directions

by Paul Boca, J. P. Bowen, J. I. Siddiqi

Springer London Ltd · 2009

₹7,770

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Formal Methods: State of the Art and New Directions is written by Paul Boca, J. P. Bowen & others. This edition from Springer London Ltd (2009) has 273 pages.

Topics covered include Formal methods (Computer science), Software engineering and System design.

About the author: J. P. Bowen (born 1956). About the author: J. I. Siddiqi (born 1951).