Kovács, László (1982) Számítógép-hálózati protokollok formális specifikálása és verifikálása. Tanulmányok (MTA SZTAKI) (138). MTA Számítástechnikai és Automatizálási Kutató Intézet, Budapest. ISBN 963-311-147-1
|
Text (Számítógép-hálózati protokollok formális specifikálása és verifikálása)
SZTAKITanulmanyok_138.pdf Download (37MB) | Preview |
| Item Type: | Book |
|---|---|
| Additional Information: | ISSN: 0324-2951 |
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika Q Science / természettudomány > QA Mathematics / matematika > QA76 Computer software / programozás |
| Depositing User: | xPéter xKolozsi |
| Date Deposited: | 01 Sep 2015 05:48 |
| Last Modified: | 01 Sep 2015 05:48 |
| URI: | http://real-eod.mtak.hu/id/eprint/2067 |
Actions (login required)
 |
Edit Item |
