Rigorous Software Development An Introduction to Program Verification

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 mathem...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Κύριος συγγραφέας:	Almeida, José Bacelar (Συγγραφέας)
Μορφή:	Electronic Resource
Γλώσσα:	English
Θέματα:	Computer software > Verification. Computer software > Development.
Διαθέσιμο Online:	Available for University of the Philippines System via SpringerLink. Click here to access