Specification of Software Systems
- List Price: $89.95
- Binding: Hardcover
- Publisher: Springer Verlag
- Publish date: 08/01/1998
Description:
This graduate-level text provides a one semester introduction to program specification. Readers are assumed to have a working knowledge of software engineering and basic discrete mathematics, but otherwise this may their first encounter with formal specification. It is based on graduate courses and courses offered to professionals working in the software industry. The authors emphasize the need for formal abstraction in specification and the advantages it confers upon the software process. In addition, the book covers all three major specification languages: Larch, VDM, and Z in some depth. Consequently, readers will be able to select a formal method that best suits their needs and application.
Expand description
The first part of the book discusses specification in general and the abstraction process. Next come chapters on the mathematical tools required. Thirdly, the authors devote a chapter each to the main formal methods with a significant example of the use of each discussed.
Product notice
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Seller | Condition | Comments | Price |
|
HPB-Red
Good
|
$7.77
|
Ergodebooks
|
Good |
$11.47
|
|
Jonathan Grobe Books
Very Good
|
$22.50
|
booksdiscount11
|
New |
$63.86
|
|
discount_scientific_books
New |
$77.75
|
|
Basi6 International
New |
$78.33
|
|
Media Smart
New
|
$98.87
|
Please Wait