Springer

Showing 1853–1854 of 1897 resultsSorted by latest

Sort by popularity Sort by average rating Sort by latest Sort by price: low to high Sort by price: high to low

• Sale! Add to cart
  Mathematics

  Abstraction Refinement For Large Scale Model Checking

  ₹7,217.91 Original price was: ₹7,217.91.₹1,620.00Current price is: ₹1,620.00.
• Sale! Add to cart
  Computer Science

  Abstraction Refinement And Proof For Probabilistic Systems

  ₹9,375.31 Original price was: ₹9,375.31.₹1,800.00Current price is: ₹1,800.00.