Rus, Teodor books & textbook
Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ... (Lecture Notes in Computer Science, 1231)
Springer /1997-05-07 Paperback / 440 Pages
isbn-10: 3540630104 / isbn-13: 9783540630104
Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science, 1816)
Springer /2000-05-03 Paperback / 545 Pages
isbn-10: 3540675302 / isbn-13: 9783540675303
Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software ... 21–25 June 1993 (Workshops in Computing)
Nivat, Maurice Rattray, Charles Rus, Teodor Scollo, Giuseppe
Springer /1993-12-17 Paperback / 430 Pages
isbn-10: 3540198520 / isbn-13: 9783540198529
Computer-Based Problem Solving Process
Wspc /2015-03-19 Paperback / 366 Pages
THEORIES AND EXPERIENCES FOR REAL-TIME SYSTEM DEVELOPMENT (Amast Computing)
World Scientific Publishing Company /1995-02-01 Hardcover / 444 Pages
isbn-10: 9810219237 / isbn-13: 9789810219239
SYSTEM SOFTWARE AND SOFTWARE SYSTEMS: EXECUTION SUPPORT ENVIRONMENT (Major American Universities Ph. D. Qualifying Questions and)
World Scientific Publishing Company /1994-11-01 Hardcover / 444 Pages
isbn-10: 9810212550 / isbn-13: 9789810212551
SYSTEM SOFTWARE AND SOFTWARE SYSTEMS: SYSTEMS METHODOLOGY FOR SOFTWARE (Advanced Series on Artificial Intelligence)
World Scientific Publishing Company /1993-05-01 Hardcover / 388 Pages
isbn-10: 9810212542 / isbn-13: 9789810212544
Data Structures and Operating Systems (Landscape Systems)
Editura Academiei /1979-01T Paperback / 364 Pages
isbn-10: 0471995177 / isbn-13: 9780471995173
