Specification of Software Systems |
|
| Author:
| Alagar, V. S.
Periyasamy, K. |
| Series title: | Texts in Computer Science Ser. |
| ISBN: | 978-1-4471-2644-7 |
| Publication Date: | Apr 2013 |
| Publisher: | Springer London, Limited
|
| Imprint: | Springer |
| Book Format: | Paperback |
| List Price: | USD $54.99 |
Book Description:
|
Revised and updated, 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. The text covers a wide range of formal specification techniques.
Revised and updated, 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. The text covers a wide range of formal specification techniques.