Вы здесь

Главная

Dordrecht

Связанные издания:

Computer Science & Electrical Engineering Catalogue - 1996
Factorized test generation for multi-input/output transition systems
Graph Theory for Programmers: Algorithms for Processing Trees
Loop Parallelization
Loop Transformations for Restructuring Compilers: The Foundations
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