Item #: 1118884 | Model #: 9783642250316
Formal Methods: Foundations and Applications
Rollover image to zoom in
https://www.staples-3p.com/s7/is/image/Staples/m001244227_sc7?wid=512&hei=512

Formal Methods: Foundations and Applications

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

Staples memberships could save you more | Learn More

Product Details
  • Author Name: Adenilso Simao, Carroll Morgan
  • No of Pages: 205 pages
  • Publisher: Springer
Go to full description & specifications


62.99
62.99
https://www.staples-3p.com/s7/is/image/Staples/m001244227
09783642250316
Assorted Publishers
Formal Methods: Foundations and Applications
Product Description
Formal Methods: Foundations and Applications by Adenilso Simao, Carroll Morgan - Collection of 13 revised papers submitted at the 14th Brazilian Symposium on formal methods

Formal Methods: Foundations and Applications by Adenilso Simao, Carroll Morgan is a collection of 13 revised papers discussing the introductory and organizational issues in design and analysis of software and hardware systems.

  • Author Name: Adenilso Simao, Carroll Morgan
  • No of Pages: 205 pages
  • Publisher: Springer
  • Publishing Date: October 28, 2011
  • Language: English
  • ISBN -10: 3642250319
  • ISBN -13: 978-3642250316
  • Edition: 2011
Reviews