Summary goes here
שמור ב:
| פורמט: | ספר |
|---|---|
| שפה: | אנגלית |
| נושאים: | |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 7335bc15-e91c-4e17-a8be-932c9ccc0206 |
| isbn | |
| issn | |
| language | eng |
| physical | 1 volume |
| publication | – publisher: West Virginia University dateOfPublication: 1997 |
| publishDate | 1997 |
| subjects | |
| title | Formal methods for verification and validation of partial specifications a case study / by Steve Easterbrook and John Callahan. [microform] : |
| topic | Computer programs. Fault detection. Program verification (Computers) Safety. Software development tools. Specifications. |