Maria João Frade: 2 books
Rigorous Software Development
An Introduction to Program Verification
Language: English
Release Date: January 4, 2011
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 adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical...
by João Pedrosa; Catarina Frade; Maria Elisabete Ramos; Maria Manuel Leitão Marques
Language: Portuguese
Release Date: September 29, 2017
Language: Portuguese
Release Date: September 29, 2017
O principal objetivo deste livro e o de fornecer a gestores, economistas, engenheiros e outros profissionais, ainda estudantes ou ja inseridos no mercado de trabalho, noc?es gerais de direito uteis para a sua formac?o e para a sua atividade profissional. Nele combinam-se temas classicos da introduc?o...