Sökt på: Böcker av Jorge Sousa Pinto
totalt 8 träffar
Language Engineering and Rigorous Software Development
This volume contains the lecture notes from the courses o?ered at the Inter- tional Summer School on Language Engineering and Rigorous Software De- lopment, held in Piriap ' olis, …
Language Engineering and Rigorous Software Development
Las Ciencias Sociales
El libro asume de manera clara y directa que las ciencias sociales que recoge una tradición que ya, desde el informe de la Comisión Gulbenkian para la reestructuración de las …
Rigorous Software Development
The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms …
High Value Manufacturing: Advanced Research in Virtual and Rapid Prototyping
High Value Manufacturing is the result of the 6th International Conference on Advanced Research in Virtual and Rapid Prototyping, held in Leiria, Portugal, October 2013. It …
The Portuguese and the Straits of Melaka, 1575-1619
Following the fall of the Melaka Sultanate to the Portuguese in 1511, the sultanates of Johor and Aceh emerged as major trading centres alongside Portuguese Melaka. Each power …
High Value Manufacturing: Advanced Research in Virtual and Rapid Prototyping
High Value Manufacturing is the result of the 6th International Conference on Advanced Research in Virtual and Rapid Prototyping, held in Leiria, Portugal, October 2013. It …
Rigorous Software Development
The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms …