Item #: 1123617 | Model #: 9783642050886
FM 2009 Formal Methods
Rollover image to zoom in
https://www.staples-3p.com/s7/is/image/Staples/m001248262_sc7?wid=512&hei=512

FM 2009 Formal Methods

No reviews yet
Share:
Delivered within 3-9 business days
$163.89
This item not available in stores
Qty:

Staples memberships could save you more | Learn More

Product Details
  • Author Name: Ana, Dams Cavalcanti
  • No of Pages: 820 Pages
  • Publisher: Springer
Go to full description & specifications


163.89
163.89
https://www.staples-3p.com/s7/is/image/Staples/m001248262
09783642050886
Assorted Publishers
FM 2009 Formal Methods
Product Description
FM 2009 Formal Methods by Ana Cavalcanti - Cover topics such as static analysis, theorem proving, semantics and industrial applications

FM 2009 Formal Methods by Ana Cavalcanti marked the 10th anniversary of the First World Congress. It cover topics such as model checking, compositionality, verification, concurrency theorem proving, semantics and industrial applications.

  • Author Name: Ana, Dams Cavalcanti
  • No of Pages: 820 Pages
  • Publisher: Springer
  • Publishing Date: October 26, 2009
  • Language: English
  • ISBN -10: 3642050883
  • ISBN -13: 978-3642050886
  • Edition: 2009
Specifications
Book Cover Paperback
Author Name Ana, Dams Cavalcanti
Reviews