Item #: 1121142 | Model #: 9783642104510
Formal Methods: Foundations and Applications (Paperback)
Rollover image to zoom in
https://www.staples-3p.com/s7/is/image/Staples/m001246049_sc7?wid=512&hei=512

Formal Methods: Foundations and Applications (Paperback)

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

Staples memberships could save you more | Learn More

Product Details
  • Author Name: Oliveira, Marcel Vinicius Medeiros
  • No of Pages: 351 Pages
  • Publisher: Springer
Go to full description & specifications


97.19
97.19
https://www.staples-3p.com/s7/is/image/Staples/m001246049
09783642104510
Assorted Publishers
Formal Methods: Foundations and Applications (Paperback)
Product Description
Formal Methods by Oliveira, Marcel Vinicius Medeiros - Introduction to software and formal models of automatic test case generation

Formal Methods by Oliveira, Marcel Vinicius Medeiros sheds light on the proceedings of SBMF 2009 symposium on formal methods. The book includes discussion on introduction to software and formal models of automatic test case generation.

  • Author Name: Oliveira, Marcel Vinicius Medeiros
  • No of Pages: 351 Pages
  • Publisher: Springer
  • Publishing Date: November 09, 2009
  • Language: English
  • ISBN -10: 3642104517
  • ISBN -13: 978-3642104510
  • Edition: 2009
Specifications
Author Name Oliveira, Marcel Vinicius Medeiros
Book Cover Paperback
Reviews