Formal Methods: State of the Art and New Directions - Paul P Boca - Books - Springer London Ltd - 9781848827356 - December 22, 2009
In case cover and title do not match, the title is correct

Paul P Boca
Formal Methods: State of the Art and New Directions 2010 edition

Price
$ 122.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 24 - Jul 6

Our customers say:

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

Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material.

273 pages, 1 black & white tables, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 22, 2009
ISBN13 9781848827356
Publishers Springer London Ltd
Pages 273
Dimensions 165 × 242 × 14 mm   ·   571 g
Language English  
Editor Boca, Paul
Editor Bowen, Jonathan P.
Editor Siddiqi, Jawed

Mere med samme udgiver

See all of Paul P Boca ( e.g. Hardcover Book )