Вы здесь

Home » Издательства

Kluwer Academic Publishers

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

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
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