Teodor Rus

Computer-Based Problem Solving

Computer-Based Problem Solving Process

2015

Algebraic Methodology and Software Technology

2000

Theories and Experiences for R

Theories and Experiences for Real-Time System Development

1995

Theories and Experiences for Real-Time System Development (Amast Series in Computing, Vol 2)

1995

Execution support environment

1994

Systems methodology for software

1993

Mecanisme formale pentru speci

Mecanisme formale pentru specificarea limbajelor

1983

Data structures and operating systems

1979

Structuri de date și sisteme

Structuri de date și sisteme operative

1974