๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

Software development : a rigorous approach

โœ Scribed by Jones C.B.


Publisher
Prentice Hall
Year
1980
Tongue
English
Leaves
400
Series
Prentice Hall International Series in Computer Science
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Rigorous Software Development
โœ Josรฉ Bacelar Almeida, Maria Joรฃo Frade, Jorge Sousa Pinto;Simรฃo Melo de Sousa ๐Ÿ“‚ Library ๐Ÿ“… 2011 ๐Ÿ› Springer London ๐ŸŒ English
Software Metrics: A Rigorous and Practic
โœ Norman E. Fenton, Shari Lawrence Pfleeger ๐Ÿ“‚ Library ๐Ÿ“… 1998 ๐Ÿ› Course Technology ๐ŸŒ English

The Second Edition of SOFTWARE METRICS provides an up-to-date, coherent, and rigorous framework for controlling, managing, and predicting software development processes.

Rigorous software development: an introd
โœ 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