| 000 -LEADER |
|---|
| fixed length control field |
00553nam a2200181Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
161214s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
1852338202 |
| Terms of availability |
(pbk) |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Item number |
COO |
| 100 ## - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Cooke, John |
| 245 #0 - TITLE STATEMENT |
|---|
| Title |
Constructing correct software |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
2nd ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
London: |
| Name of publisher, distributor, etc |
Springer-Verlag, |
| Date of publication, distribution, etc |
2005 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xxi, 509 p.; |
| Other physical details |
: |
| Dimensions |
24 cm. |
| 365 ## - TRADE PRICE |
|---|
| Price type code |
INR |
| Price amount |
4988.88 |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Formal approaches to computing and information technology |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
Constructing Correct Software - The Basics illustrates and explains the constructive approach to software development. This approach involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained, and therefore no incorrect work needs to be discarded. John Cooke has based this book on material which has been used to teach the topic extensively at Loughborough University. It has been carefully written to be accessible to anyone with an appropriate basic background knowledge of formal methods. It is intended for 3rd/4th year undergraduate and postgraduate students on formal methods and software engineering courses, and software developers in industry who need a more pragmatic, yet fully formal, approach to software development. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software Development |
|
|---|
| Topical term or geographic name as entry element |
Formal methods - Computer science |
|
|---|
| Topical term or geographic name as entry element |
Algorithm extraction |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
Books |