|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) | McIver, Annabelle | Paperback | 1441923128 /
9781441923127 | 11/2010 | $161.49 |
|  | Abstraction, Refinement and Proof for Probabilistic Systems 2005 Edition (Monographs in Computer Science) | McIver, Annabelle | Hardcover | 0387401156 /
9780387401157 | 11/2004 | $161.49 |
|  | Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings 2019 Edition (Lecture Notes in Computer Science) | Ter Beek, Maurice H. | Paperback | 303030941X /
9783030309411 | 09/2019 | $52.24 |
|  | Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedi 2015 Edition | Davis, Martin | Paperback | 3662488981 /
9783662488980 | 12/2015 | $52.24 |
|  | Quantitative Evaluation of Systems: 15th International Conference, Qest 2018, Beijing, China, September 4-7, 2018, Proceedings 2018 Edition | McIver, Annabelle | Paperback | 3319991531 /
9783319991535 | 08/2018 | $52.24 |
|  | The Science of Quantitative Information Flow 2020 Edition (Information Security and Cryptography) | Alvim, Mário S. | Hardcover | 3319961292 /
9783319961293 | 09/2020 | $61.74 |
|
|
|