Practical formal software engineering : wanting the software you get
(Book)
Author
Status
General Shelving - 3rd Floor
QA76.758 .M575 2009
1 available
QA76.758 .M575 2009
1 available
Description
Loading Description...
Also in this Series
Checking series information...
Copies
| Location | Call Number | Status |
|---|---|---|
| General Shelving - 3rd Floor | QA76.758 .M575 2009 | On Shelf |
Subjects
Bisac Subjects
OCLC Fast Subjects
Other Subjects
More Details
Format
Book
Physical Desc
xxxiii, 339 pages : illustrations ; 26 cm
Language
English
UPC
2876903
Notes
Bibliography
Includes bibliographical references and index.
Description
This is a practically-minded software engineering textbook aimed at final year undergraduate and graduate students, emphasizing formal methods in writing robust code quickly. This book takes an engineering approach to illuminate the creation and verification of large software systems in which theorems and axioms are intuited as the formalism materializes through practice.--[book cover].
Terms Governing Use and Reproduction
Current Copyright Fee: GBP25.00,0.,Uk
Local note
SACFinal081324
Reviews from GoodReads
Loading GoodReads Reviews.
Citations
APA Citation, 7th Edition (style guide)
Mills, B. (2009). Practical formal software engineering: wanting the software you get . Cambridge University Press.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Mills, Bruce, 1962-. 2009. Practical Formal Software Engineering: Wanting the Software You Get. New York: Cambridge University Press.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Mills, Bruce, 1962-. Practical Formal Software Engineering: Wanting the Software You Get New York: Cambridge University Press, 2009.
Harvard Citation (style guide)Mills, B. (2009). Practical formal software engineering: wanting the software you get. New York: Cambridge University Press.
MLA Citation, 9th Edition (style guide)Mills, Bruce. Practical Formal Software Engineering: Wanting the Software You Get Cambridge University Press, 2009.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Loading Staff View.