๐”– Scriptorium
โœฆ   LIBER   โœฆ
๐Ÿ“

Rigorous Software Development: An Introduction to Program Verification

โœ Scribed by Josรฉ Bacelar Almeida, Maria Joรฃo Frade, Jorge Sousa Pinto, Simรฃo Melo de Sousa (auth.)

Publisher
Springer-Verlag London
Year
2011
Tongue
English
Leaves
277
Series
Undergraduate Topics in Computer Science
Edition
1
Category
Library
โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Subjects

Software Engineering; Logics and Meanings of Programs; Symbolic and Algebraic Manipulation

๐Ÿ“œ SIMILAR VOLUMES

Rigorous software development: an introd
๐Ÿ“ Rigorous software development: an introduction to program verification
โœ Almeida, Josรฉ Bacelar;Frade, Maria Joรฃo;Pinto, Jorge Sousa;Sousa, Simรฃo Melo de ๐Ÿ“‚ Library ๐Ÿ“… 2011 ๐Ÿ› Springer ๐ŸŒ English

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

System Software: An Introduction To Syst
๐Ÿ“ System Software: An Introduction To Systems Programming
โœ Leland L. Beck ๐Ÿ“‚ Library ๐Ÿ“… 1997 ๐Ÿ› Pearson ๐ŸŒ English

In this third edition of classic title, Leland Beck provides a complete introduction to the design and implementation of various types of system software. Stressing the relationship between system software and the architecture of the machine it is designed to support, Beck first presents the fundame

Rigorous Software Development
๐Ÿ“ Rigorous Software Development
โœ Josรฉ Bacelar Almeida, Maria Joรฃo Frade, Jorge Sousa Pinto;Simรฃo Melo de Sousa ๐Ÿ“‚ Library ๐Ÿ“… 2011 ๐Ÿ› Springer London ๐ŸŒ English