Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Boston
Связанные издания:
Algorithms in C++
Factorized test generation for multi-input/output transition systems
Loop Parallelization
Loop Transformations for Restructuring Compilers: The Foundations
Principles of Programming Languages: Proc./Conference Record of ACM Symposium, Boston, Mass. USA, October 1973
Rule-Based Programming
Scientific Computing, Validated Numerics, Interval Methods
Test Generation for Specifications Modeled by Input/Output Automata
Testing of automata: from experiments to representations by means of fragments
Testing of Communicating Systems: Proc./IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS 98). August 31 - September 2, 1998, Tomsk, Russia
Testing Temporal Logic Properties in Distributed Systems
The Object-Z Specification Language
Titles on Display