Specification of Software Systems
Alagar, V. S. / Periyasamy, K.
|
Format: Book - Hardcover
Released: Thu 31 Mar 2011
Catalogue Number: 0009620885
|
|
This product is no longer available.
|
|
Deleted
|
* Prices displayed are in Australian Dollars and, where applicable, GST inclusive
Description:
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface; covers Object-Z, B-Method, and Calculus of Communicating Systems; offers material that can be taught with tool-supported laboratory projects.
Details:
- Publisher: Springer-Verlag New York Inc
- Series: Texts in Computer Science
- Editions: Subsequent
- Textual Format: Computer Applications, Textbooks, Lower level
- Academic Level: Scholarly/Graduate
- Depth (m): 0.044
- Dewey: 005.1
- Edition: 2
- Height (m): 0.235
- Pages: 644
- Place Of Publication: Great Britain/British Isles
- Published Date: Thu 31 Mar 2011
- Weight (g): 1111
- Width (m): 0.165
Availability
This product is no longer available.
| Also in the Texts in Computer Science series (view all) |
|
|
|
|
| Customers who shopped for Specification of Software Systems also shopped for |
|
|
|
|
|
|
More 
shopping cart