-
1Foundations of Software Science and Computation Structures [electronic resource] : First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theo... Foundations of Software Science and Computation Structures [electronic resource] : First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theo...Texto bibliotecaCOLPOS
-
2Algebraic 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,...by Nivat, Maurice. editor., Rattray, Charles. editor., Rus, Teodor. editor., Scollo, Giuseppe. editor., SpringerLink (Online service)
Published 1994Texto bibliotecaCOLPOS -
3Mathematical Foundations of Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT)... Mathematical Foundations of Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT)...by Ehrig, Hartmut. editor., Floyd, Christiane. editor., Nivat, Maurice. editor., Thatcher, James. editor., SpringerLink (Online service)
Published 1985Texto bibliotecaCOLPOS -
4Mathematical Foundations of Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT)... Mathematical Foundations of Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT)...by Ehrig, Hartmut. editor., Floyd, Christiane. editor., Nivat, Maurice. editor., Thatcher, James. editor., SpringerLink (Online service)
Published 1985Texto bibliotecaCOLPOS