Верификация автоматных программ
М-во образования и науки Российской Федерации, Санкт-Петербургский гос. ун-т информ. технологий, механики и оптики, Вельдер, Сергей Эдуардовичწელი:
2011
გამომცემლობა:
Наука
ენა:
russian
გვერდები:
246
ISBN 10:
5020381608
ISBN 13:
9785020381605
ფაილი:
PDF, 2.47 MB
IPFS:
,
russian, 2011
Litres
გსურთ დაამატოთ წიგნის მაღაზია? დაგვიკავშირდით support@z-lib.do-ით
ფაილების კონვერტაცია
ძიების მეტი შედეგი
სხვა უპირატესობები 
![Гурвиц Е. — Синтез составных дискретных каналов связи [Текст]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/4042b4538415f5f50c61273ea15779138e57a22ab089019b5853c4213803acad.jpg)
საკვანძო ფრაზები
დაკავშირებული კოლექციები
