馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Algebraic methodology and software technology：8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

Corporate Authors: International Conference on Algebraic Methodology and Software Technology (8th 2000 Iowa City, Iowa)
Group Author: Rus Teodor.
Published: Springer,
Publication Dates: c2000.
Call Number: TP311.5-532/I61/2000

Book

2

Cover is for reference only

Execution support environment

Main Authors: Rus Teodor.
Group Author: Rus Daniela.
Published: World Scientific,
Publication Dates: c1994.
Call Number: TP31/R949.1-1/

Book

3

Cover is for reference only

Systems methodology for software

Main Authors: Rus Teodor
Group Author: Rus Daniela
Published: World Scientific,
Publication Dates: c1993.
Call Number: TP31/R949.1/

Book

4

Cover is for reference only

Transformation-based reactive systems development：4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedings

Corporate Authors: International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (4th 1997 Mallorca, Spain)
Group Author: Bertran Miquel.; Rus Teodor.
Published: Springer,
Publication Dates: c1997.
Call Number: TP311.5-532/I61.10/1997/

Book

5

Cover is for reference only

Theories and experiences for real-time system development

Group Author: Rus Teodor; Rattray Charles
Published: World Scientific,
Publication Dates: c1994.
Call Number: TP316/T369/

Book

6

Cover is for reference only

Data structures and operating systems

Main Authors: Rus Teodor.
Published: Editura Academiei Wiley,
Publication Dates: 1979.
Call Number: TP31/R949/

Book

Related Subjects