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
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type
Number of items: 8.
DateAuthor/TitleDocument Type
1986Szentner, 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
1986Kornai, András
Logical types and linguistic types
Article
1986Kovács, László
PROTEST: An Environment for Testing and Debugging of Communication Protocols
Conference or Workshop Item
1986Kovács, László and Harangozó, József
Protocol Verification System Based on MODULA-2 Language
Conference or Workshop Item
1986Kornai, András
SZÓTÁRI ADATBÁZIS AZ AKADÉMIAI NAGYSZÁMITÓGÉPEN
Other
1986Kovács, László and Ercsényi, András
Specification versus Implementation Based on ESTELLE
ISI Article
1986-08Kovács, László and Ercsényi, András
Specification versus Implementation Based on ESTELLE
ISI Article
1986Kornai, András
X-BAR GRAMMARS
Book Section
This list was generated on Mon Mar 18 03:01:39 2019 CET.