Background
book image

استفاده از Z توصیف، پالایش و اثبات

Jim Woodcock , Jim Davies , مرجان کائدی

5

Publisher: دانشگاه شهرکرد، انتشارات

Publish year: 1402

ISBN: ‏‫‭978-600-7997-87-1 ‬‬

Language: Persian | English

Categories:

Z (Computer program language)

More form author(s):

شبیه‌سازی کامپیوتری به روش مونت کارلو,مدل‌سازی سیستم‌ها با استفاده از شبکه‌های پتری به انضمام مثال‌هایی از مدل‌سازی شبکه‌های کامپیوتری