Capa

FORMAL SPECIFICATION AND SYNTHESIS OF PROCEDURAL CONTROLLERS FOR PROCESS SYSTEMS

SPRINGER
03 / 1996
9783540760214
978-35-4076-021-4
Inglês
Lecture Notes in Control and Information Sciences
ESPANHA
Ingles