Jorge Sousa Pinto – författare
Visar alla böcker från författaren Jorge Sousa Pinto. Handla med fri frakt och snabb leverans.
6 produkter
Rigorous Software Development
An Introduction to Program Verification
Av José Bacelar Almeida, Maria João Frade m. fl.
Häftad, 2026
681 kr
Lägg i varukorg
Software errors can lead to catastrophic consequences, from financial losses to threats to human safety. As a result, rigorous methods for software development and validation have become increasingly critical. Program verification, a key area of formal methods, provides mathematical tools and …
Rigorous Software Development
An Introduction to Program Verification
Av Simao Melo de Sousa, Jorge Sousa Pinto m. fl.
E-bok, 2011
453 kr
Lägg i varukorg
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 …
Rigorous Software Development
An Introduction to Program Verification
Av Simao Melo de Sousa, Jorge Sousa Pinto m. fl.
E-bok, 2026
894 kr
Lägg i varukorg
Software errors can lead to catastrophic consequences, from financial losses to threats to human safety. As a result, rigorous methods for software development and validation have become increasingly critical. Program verification, a key area of formal methods, provides mathematical tools and …
Language Engineering and Rigorous Software Development
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
Av Ana Bove, Luis Soares Barbosa m. fl.
Häftad, 2009
569 kr
Lägg i varukorg
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, Uruguay, from February 25 to March 1, 2008. The aim of the schoolwasthe dissemination of advancedscienti?c knowledge in …
Language Engineering and Rigorous Software Development
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
Av Jorge Sousa Pinto, Alberto Pardo m. fl.
E-bok, 2009
755 kr
Lägg i varukorg
Rigorous Software Development
An Introduction to Program Verification
Av José Bacelar Almeida, Maria João Frade m. fl.
Häftad, 2011
458 kr
Tillfälligt slut
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 …
