Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/1693
| Title: | Concise guide to formal methods : |
| Other Titles: | theory, fundamentals and industry applications / |
| Authors: | O'Regan, Gerard ; (Cornelius Gerard), ; author ; |
| subject: | Formal methods (Computer science) ; |
| Year: | 2017 |
| place: | Cham, Switzerland : |
| Publisher: | Springer, |
| Series/Report no.: | Undergraduate topics in computer science, ; 1863-7310 ; Undergraduate topics in computer science, ; 1863-7310 ; |
| Description: | Available to OhioLINK libraries ; Ohio Library and Information Network ; Original ; 9783319640204 ; 3319640208 ; (OCoLC)992746958 ; |
| URI: | http://localhost/handle/Hannan/1693 |
| ISBN: | 9783319640211 ; 3319640216 ; |
| More Information: | 1 online resource (xix, 312 pages) : ; illustrations (some color) ; Includes bibliographical references and index ; |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319640211.pdf | 6.57 MB | Adobe PDF |  Preview File |
| Title: | Concise guide to formal methods : |
| Other Titles: | theory, fundamentals and industry applications / |
| Authors: | O'Regan, Gerard ; (Cornelius Gerard), ; author ; |
| subject: | Formal methods (Computer science) ; |
| Year: | 2017 |
| place: | Cham, Switzerland : |
| Publisher: | Springer, |
| Series/Report no.: | Undergraduate topics in computer science, ; 1863-7310 ; Undergraduate topics in computer science, ; 1863-7310 ; |
| Description: | Available to OhioLINK libraries ; Ohio Library and Information Network ; Original ; 9783319640204 ; 3319640208 ; (OCoLC)992746958 ; |
| URI: | http://localhost/handle/Hannan/1693 |
| ISBN: | 9783319640211 ; 3319640216 ; |
| More Information: | 1 online resource (xix, 312 pages) : ; illustrations (some color) ; Includes bibliographical references and index ; |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319640211.pdf | 6.57 MB | Adobe PDF | Preview File |
| Title: | Concise guide to formal methods : |
| Other Titles: | theory, fundamentals and industry applications / |
| Authors: | O'Regan, Gerard ; (Cornelius Gerard), ; author ; |
| subject: | Formal methods (Computer science) ; |
| Year: | 2017 |
| place: | Cham, Switzerland : |
| Publisher: | Springer, |
| Series/Report no.: | Undergraduate topics in computer science, ; 1863-7310 ; Undergraduate topics in computer science, ; 1863-7310 ; |
| Description: | Available to OhioLINK libraries ; Ohio Library and Information Network ; Original ; 9783319640204 ; 3319640208 ; (OCoLC)992746958 ; |
| URI: | http://localhost/handle/Hannan/1693 |
| ISBN: | 9783319640211 ; 3319640216 ; |
| More Information: | 1 online resource (xix, 312 pages) : ; illustrations (some color) ; Includes bibliographical references and index ; |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319640211.pdf | 6.57 MB | Adobe PDF | Preview File |