ISBN: 9783319106953
TITLE: Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings : 8657
AUTHOR: Gethin Norman
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 20 Aug 2014
Popular Trending Products
ISBN: 9783319105116TITLE: Formal Modeling and Analysis of Timed Systems : 12th International Confere…
ISBN: 9783319105055TITLE: Computer Safety, Reliability, and Security : 33rd International Conference…
ISBN: 9783319101804TITLE: Integrated Formal Methods : 11th International Conference, IFM 2014, Berti…
ISBN: 9783319107011TITLE: Formal Methods for Industrial Critical Systems : 19th International Confer…
ISBN: 9783030302825TITLE: Quantitative Evaluation of Systems : 16th International Conference, QEST 2…
