-
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,...por Nivat, Maurice. editor., Rattray, Charles. editor., Rus, Teodor. editor., Scollo, Giuseppe. editor., SpringerLink (Online service)
Publicado em 1994Texto bibliotecaCOLPOS