Logic in computer science:modelling and reasoning about systems
שמור ב:
| מחבר ראשי: | |
|---|---|
| מחברים אחרים: | |
| שפה: | אנגלית |
| יצא לאור: |
Cambridge
CUP
2005
|
| מהדורה: | 2nd ed. |
| נושאים: | |
| תגים: |
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
היה/י הראשונ/ה לכתוב הערה!