دانلود کتاب Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
by Michael Butler
|
عنوان فارسی: چکیده دولت ماشین آلات، آلیاژ، B، TLA، VDM، و Z: 5 کنفرانس بین المللی، ABZ 2016، Linz، اتریش، ماه مه 23-27، 2016، مجموعه مقالات |