Egy logikai módszer programok szemantikus tulajdonságainak bizonyítására
Legal Note: A kéziratos disszertációk csak a szerzői jogok maradéktalan tiszteletben tartásával használhatók, másolat kizárólag a szerző vagy jogutódja írásos engedélyével készíttethető.
Saved in:
| Main Author: | |
|---|---|
| Format: | dissertation |
| Language: | Hungarian |
| Published: |
1979
|
| Subjects: | |
| Tags: |
Add Tag
Be the first to tag this record!
|