Model Checking Software

Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Model Checking Software : 9783030309237, 3030309231 および 印刷版のISBNは 9783030309220, 3030309223. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Model Checking Software : 9783030309237, 3030309231 および 印刷版のISBNは 9783030309220, 3030309223. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。