Showing 1 - 12 of 12 Results
1.
Lectures on Formal Methods and Performance Analysis First Eef Summer School on Trends in Com... by Brinksma, Ed, Hermanns, Hol... ISBN: 9783540424796 List Price: $79.95
2.
Interactive Markov Chains The Quest for Quantified Quality by Hermanns, Holger ISBN: 9783540442615 List Price: $64.95
3.
Process Algebra and Probabilistic Methods Performance Modeling and Verification Second Join... by Hermanns, Holger, Segala, R... ISBN: 9783540439134 List Price: $52.95
4.
Validation Of Stochastic Systems A Guide To Current Research by Baier, Christel, Haverkort,... ISBN: 9783540222651 List Price: $84.00
5.
Tools And Algorithms for the Construction And Analysis of Systems 12th Internation Converenc... by Hermanns, Holger, Palsberg,... ISBN: 9783540330561 List Price: $89.00
6.
CONCUR 2006 - Concurrency Theory 17th International Conference, Concur 2006, Bonn, Germany, ... by Baier, Christel, Hermanns, ... ISBN: 9783540373766 List Price: $89.00
7.
Computer Aided Verification: 19th International Confernece, CAV 2007, Berlin, Germany, July ... by Damm, Werner, Hermanns, Holger ISBN: 9783540733676 List Price: $99.00
8.
Interactive Markov Chains : The Quest for Quantified Quality by Hermanns, Holger ISBN: 9783662207031 List Price: $24.99
9.
Validation of Stochastic Systems by Baier, Christel, Haverkort,... ISBN: 9783662167427 List Price: $24.99
10.
Hochsauerland by Holger Klaes, Hermann Josef... ISBN: 9783930271368
11.
Process Algebra and Probabilistic Methods. Performance Modeling and Verification by Hermanns, Holger, Segala, R... ISBN: 9783662195529 List Price: $24.99
12.
Lectures on Formal Methods and Performance Analysis by Brinksma, Ed, Hermanns, Hol... ISBN: 9783662181171 List Price: $24.99