Applications of formal methods
| מחברים אחרים: | , |
|---|---|
| פורמט: | ספר |
| יצא לאור: |
London
Prentice Hall
1995.
|
| סדרה: | Prentice-Hall international series in computer science
|
| נושאים: |
| מחברים אחרים: | , |
|---|---|
| פורמט: | ספר |
| יצא לאור: |
London
Prentice Hall
1995.
|
| סדרה: | Prentice-Hall international series in computer science
|
| נושאים: |