جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید.
http://localhost/handle/Hannan/1693
| عنوان: | Concise guide to formal methods : |
| عنوان دیگر: | theory, fundamentals and industry applications / |
| پدیدآورنده: | O'Regan, Gerard ; (Cornelius Gerard), ; author ; |
| کلید واژه ها: | Formal methods (Computer science) ; |
| تاریخ انتشار: | 2017 |
| محل نشر: | Cham, Switzerland : |
| ناشر: | Springer, |
| فروست / شماره : | Undergraduate topics in computer science, ; 1863-7310 ; Undergraduate topics in computer science, ; 1863-7310 ; |
| توضیحات : | Available to OhioLINK libraries ; Ohio Library and Information Network ; Original ; 9783319640204 ; 3319640208 ; (OCoLC)992746958 ; |
| آدرس: | http://localhost/handle/Hannan/1693 |
| شابک : | 9783319640211 ; 3319640216 ; |
| اطلاعات بیشتر: | 1 online resource (xix, 312 pages) : ; illustrations (some color) ; Includes bibliographical references and index ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319640211.pdf | 6.57 MB | Adobe PDF |  مشاهده فایل |
| عنوان: | Concise guide to formal methods : |
| عنوان دیگر: | theory, fundamentals and industry applications / |
| پدیدآورنده: | O'Regan, Gerard ; (Cornelius Gerard), ; author ; |
| کلید واژه ها: | Formal methods (Computer science) ; |
| تاریخ انتشار: | 2017 |
| محل نشر: | Cham, Switzerland : |
| ناشر: | Springer, |
| فروست / شماره : | Undergraduate topics in computer science, ; 1863-7310 ; Undergraduate topics in computer science, ; 1863-7310 ; |
| توضیحات : | Available to OhioLINK libraries ; Ohio Library and Information Network ; Original ; 9783319640204 ; 3319640208 ; (OCoLC)992746958 ; |
| آدرس: | http://localhost/handle/Hannan/1693 |
| شابک : | 9783319640211 ; 3319640216 ; |
| اطلاعات بیشتر: | 1 online resource (xix, 312 pages) : ; illustrations (some color) ; Includes bibliographical references and index ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319640211.pdf | 6.57 MB | Adobe PDF | مشاهده فایل |
| عنوان: | Concise guide to formal methods : |
| عنوان دیگر: | theory, fundamentals and industry applications / |
| پدیدآورنده: | O'Regan, Gerard ; (Cornelius Gerard), ; author ; |
| کلید واژه ها: | Formal methods (Computer science) ; |
| تاریخ انتشار: | 2017 |
| محل نشر: | Cham, Switzerland : |
| ناشر: | Springer, |
| فروست / شماره : | Undergraduate topics in computer science, ; 1863-7310 ; Undergraduate topics in computer science, ; 1863-7310 ; |
| توضیحات : | Available to OhioLINK libraries ; Ohio Library and Information Network ; Original ; 9783319640204 ; 3319640208 ; (OCoLC)992746958 ; |
| آدرس: | http://localhost/handle/Hannan/1693 |
| شابک : | 9783319640211 ; 3319640216 ; |
| اطلاعات بیشتر: | 1 online resource (xix, 312 pages) : ; illustrations (some color) ; Includes bibliographical references and index ; |
| مجموعه(های): | مهندسی فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319640211.pdf | 6.57 MB | Adobe PDF | مشاهده فایل |