Teodor Rus – författare
Visar alla böcker från författaren Teodor Rus. Handla med fri frakt och snabb leverans.
10 produkter
Algebraic Methodology and Software Technology (AMAST'93)
Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
Av Giuseppe Scollo, Teodor Rus m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held …
Algebraic Methodology and Software Technology (AMAST’93)
Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
Av Maurice Nivat, Charles Rattray m. fl.
Häftad, 1993
569 kr
Lägg i varukorg
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held …
Algebraic Methodology and Software Technology
8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings
Av Teodor Rus
E-bok, 2003
1459 kr
Lägg i varukorg
The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at setting the development of software technology on a mathematical basis. The virtue of the software technology …
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
Häftad, 1997
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.The volume presents 24 carefully selected revised full papers. Also included are two …
Algebraic Methodology and Software Technology
8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings
Av Teodor Rus
Häftad, 2000
1098 kr
Lägg i varukorg
The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at setting the development of software technology on a mathematical basis. The virtue of the software technology …
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
E-bok, 2005
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS''97, held in Palma de Mallorca, Spain, in May 1997. The volume presents 24 carefully selected revised full papers. Also included are two …
COMPUTER-BASED PROBLEM SOLVING PROCESS
Av Teodor Rus
Inbunden, 2015
1945 kr
Lägg i varukorg
One side-effect of having made great leaps in computing over the last few decades, is the resulting over-abundance in software tools created to solve the diverse problems. Problem solving with computers has, in consequence, become more demanding; instead of focusing on the problem when …
SYSTEM SOFTWARE AND SOFTWARE SYSTEMS: SYSTEMS METHODOLOGY FOR SOFTWARE
Av Teodor Rus, Dana Rus
Inbunden, 1993
1191 kr
Tillfälligt slut
SYSTEM SOFTWARE AND SOFTWARE SYSTEMS: Concepts and Methodology is intended to offer a systematic treatment of the theory and practice of designing and implementing system software.The two volumes systematically develop and apply the systems methodology for software development. For that the concept …
SYSTEM SOFTWARE AND SOFTWARE SYSTEMS: EXECUTION SUPPORT ENVIRONMENT
Av Teodor Rus, Dana Rus
Inbunden, 1994
1490 kr
Tillfälligt slut
SYSTEM SOFTWARE AND SOFTWARE SYSTEMS: Concepts and Methodology is intended to offer a systematic treatment of the theory and practice of designing and implementing system software.The two volumes systematically develop and apply the systems methodology for software development. For that the concept …
THEORIES AND EXPERIENCES FOR REAL-TIME SYSTEM DEVELOPMENT
Av Charles Rattray, Teodor Rus m. fl.
Inbunden, 1995
2498 kr
Tillfälligt slut
Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra with the theory and practice of real-time …
