Items where Subject is "Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány"
 | Up a level |
Group by: No Grouping | Item Type
Number of items: 8.
ISI Article
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 1986 | Kovács, László and Ercsényi, András Specification versus Implementation Based on ESTELLE |  | ISI Article |
| 1986-08 | Kovács, László and Ercsényi, András Specification versus Implementation Based on ESTELLE | ISI Article |
Article
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 1986 | Kornai, András Logical types and linguistic types | | Article |
Book Section
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 1986 | Kornai, András X-BAR GRAMMARS | | Book Section |
Conference or Workshop Item
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 1986 | Szentner, János and Kovács, László and Harangozó, József Formal Description, Verification and Implementation of Local Area Computer Network Transport Protocol | Conference or Workshop Item | |
| 1986 | Kovács, László PROTEST: An Environment for Testing and Debugging of Communication Protocols | Conference or Workshop Item | |
| 1986 | Kovács, László and Harangozó, József Protocol Verification System Based on MODULA-2 Language | Conference or Workshop Item |
Other
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 1986 | Kornai, András SZÓTÁRI ADATBÁZIS AZ AKADÉMIAI NAGYSZÁMITÓGÉPEN | | Other |
