Item #: 1119938 | Model #: 9783642171710
Verification, Induction, Termination Analysis
Rollover image to zoom in
https://www.staples-3p.com/s7/is/image/Staples/m001245251_sc7?wid=512&hei=512

Verification, Induction, Termination Analysis

No reviews yet
Share:
This item is currently out of stock for delivery
$79.89
This item not available in stores

Staples memberships could save you more | Learn More

Product Details
  • Author Name: Nathan Wasser
  • No of Pages: 145 Pages
  • Publisher: Springer
Go to full description & specifications


79.89
79.89
https://www.staples-3p.com/s7/is/image/Staples/m001245251
09783642171710
Assorted Publishers
Verification, Induction, Termination Analysis
Product Description
Verification, Induction, Termination Analysis by Nathan Wasser - Articles written by former students and colleagues of Christoph Walther on the occasion of his 60th birthday

Verification, Induction, Termination Analysis by Nathan Wasser is a collection of articles written by former students and colleagues of Christoph Walther on the occasion of his 60th birthday.

  • Author Name: Nathan Wasser
  • No of Pages: 145 Pages
  • Publisher: Springer
  • Publishing Date: November 16, 2010
  • Language: English
  • ISBN -10: 3642171710
  • ISBN -13: 978-3642171710
  • Edition: 2010
Reviews