José Bacelar Almeida – författare
Visar alla böcker från författaren José Bacelar Almeida. Handla med fri frakt och snabb leverans.
4 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 …
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 …
