by V.S.Alagar (Author), K.Periyasamy (Author)
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.
Format: Hardcover
Pages: 669
Edition: 2nd Edition.
Publisher: Springer
Published: 28 Mar 2011
ISBN 10: 0857292765
ISBN 13: 9780857292766
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
