Поиск :
Личный кабинет :
Электронный каталог: Baeten, J. C. M. - Process algebra
Baeten, J. C. M. - Process algebra
Нет экз.
Электронные книги
Автор: Baeten, J. C. M.
Process algebra : equational theories of communicating processes
Издательство: Cambridge University Press, 2010 г.
ISBN 9780511714429
Автор: Baeten, J. C. M.
Process algebra : equational theories of communicating processes
Издательство: Cambridge University Press, 2010 г.
ISBN 9780511714429
На полку
Электронные книги
Baeten, J. C. M.
Process algebra [Электронные книги]: equational theories of communicating processes / J. C. M. Baeten, T. Basten, M. A. Reniers. – Cambridge [etc.]: Cambridge University Press, 2010. – 460 с. – Режим доступа : https://elib.hse.ru/Ebook/pdf.php?name=Ebook_9780511714429.pdf. – На англ. яз. – ISBN 9780511714429.
004.421
общий = Информатика и вычислительная техника = computer science and technology : программирование ЭВМ. Компьютерные программы = computer programming. Computer programs [ 004.42 ] : алгоритмы составления программ = program synthesis algorithm [ 004.421 ]
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Информатика и вычислительная техника = computer science and technology : программное обеспечение (программные средства) = software [ 004.4 ]
Baeten, J. C. M.
Process algebra [Электронные книги]: equational theories of communicating processes / J. C. M. Baeten, T. Basten, M. A. Reniers. – Cambridge [etc.]: Cambridge University Press, 2010. – 460 с. – Режим доступа : https://elib.hse.ru/Ebook/pdf.php?name=Ebook_9780511714429.pdf. – На англ. яз. – ISBN 9780511714429.
004.421
общий = Информатика и вычислительная техника = computer science and technology : программирование ЭВМ. Компьютерные программы = computer programming. Computer programs [ 004.42 ] : алгоритмы составления программ = program synthesis algorithm [ 004.421 ]
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Информатика и вычислительная техника = computer science and technology : программное обеспечение (программные средства) = software [ 004.4 ]