Abstraction Refinement And Proof For Probabilistic Systems

2,995.00

50 in stock

SKU: 9780387401157 Category:

Description

Abstraction Refinement And Proof For Probabilistic Systems

  • ISBN No :- 9780387401157
  • Publisher :->Sp Springer
  • Author :- Mclver
  • Year of Publication :-2005
  • Binding Type :- Not Available

 

Highlight Related Book

Additional information

Weight 1 kg

Reviews

There are no reviews yet.

Be the first to review “Abstraction Refinement And Proof For Probabilistic Systems”

Your email address will not be published. Required fields are marked *