استفاده از Z توصیف، پالایش و اثبات
جیم وودکاک , Jim Woodcock , جیم دیویس , Jim Davies , زهرا کریمی , مرجان کائدی , فاطمه حسنوند
5
Publisher: دانشگاه شهرکرد، انتشارات
Publish year: 1402
ISBN: 978-600-7997-87-1
Language: Persian | English
Categories:
Z (Computer program language)
