-
1Algebraic Methodology and Software Technology [electronic resource] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings / Algebraic Methodology and Software Technology [electronic resource] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings /Texto bibliotecaCOLPOS
-
2Algebraic Methodology and Software Technology [electronic resource] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings / Algebraic Methodology and Software Technology [electronic resource] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings /Texto bibliotecaCOLPOS
-
3Transformation-Based Reactive Systems Development [electronic resource] : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Pal... Transformation-Based Reactive Systems Development [electronic resource] : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Pal...Texto bibliotecaCOLPOS
-
4Transformation-Based Reactive Systems Development [electronic resource] : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Pal... Transformation-Based Reactive Systems Development [electronic resource] : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Pal...Texto bibliotecaCOLPOS
-
5Algebraic Methodology and Software Technology (AMAST’93) [electronic resource] : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology,... Algebraic Methodology and Software Technology (AMAST’93) [electronic resource] : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology,...par Nivat, Maurice. editor., Rattray, Charles. editor., Rus, Teodor. editor., Scollo, Giuseppe. editor., SpringerLink (Online service)
Publié 1994Texto bibliotecaCOLPOS