Full Product Details
Author: Janusz Laski ,
William Stanley
Publisher: Springer London Ltd
Imprint: Springer London Ltd
Edition: 2009 ed.
Dimensions:
Width: 15.50cm
, Height: 1.40cm
, Length: 23.50cm
Weight: 1.150kg
ISBN: 9781848822399
ISBN 10: 1848822391
Pages: 234
Publication Date: 03 April 2009
Audience:
Professional and scholarly
,
Professional & Vocational
Format: Hardback
Publisher's Status: Active
Availability: In Print
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Reviews
From the reviews: Software verification is a set of important activities in the software development process that leads to determining whether the software product fulfills requirements. ... It could also be very useful to software engineering researchers and practitioners. The quality of the book is enhanced by the wide range of examples that illustrate various problems and offer appropriate solutions. The physical quality of the book is extremely high. (M. Ivanovic, ACM Computing Reviews, June, 2009) Software verification and validation are conducted to help ensure that programs perform correctly. ... While this book's subtitle indicates a 'hands-on approach,' it really takes a formal mathematical approach to describing software verification. ... The book includes plenty of diagrams and figures, and it explains verification concepts with examples. This work is useful as a complement to hands-on testing books to detail the mathematical foundations of software verification. Summing Up: Recommended. Upper-division undergraduates through professionals. (H. J. Bender, Choice, Vol. 47 (3), November, 2009)
From the reviews: Software verification is a set of important activities in the software development process that leads to determining whether the software product fulfills requirements. ... It could also be very useful to software engineering researchers and practitioners. The quality of the book is enhanced by the wide range of examples that illustrate various problems and offer appropriate solutions. The physical quality of the book is extremely high. (M. Ivanovic, ACM Computing Reviews, June, 2009) Software verification and validation are conducted to help ensure that programs perform correctly. ... While this book's subtitle indicates a 'hands-on approach,' it really takes a formal mathematical approach to describing software verification. ... The book includes plenty of diagrams and figures, and it explains verification concepts with examples. This work is useful as a complement to hands-on testing books to detail the mathematical foundations of software verification. Summing Up: Recommended. Upper-division undergraduates through professionals. (H. J. Bender, Choice, Vol. 47 (3), November, 2009)
From the reviews: Software verification is a set of important activities in the software development process that leads to determining whether the software product fulfills requirements. ! It could also be very useful to software engineering researchers and practitioners. The quality of the book is enhanced by the wide range of examples that illustrate various problems and offer appropriate solutions. The physical quality of the book is extremely high. (M. Ivanovic, ACM Computing Reviews, June, 2009) Software verification and validation are conducted to help ensure that programs perform correctly. ! While this book's subtitle indicates a 'hands-on approach,' it really takes a formal mathematical approach to describing software verification. ! The book includes plenty of diagrams and figures, and it explains verification concepts with examples. This work is useful as a complement to hands-on testing books to detail the mathematical foundations of software verification. Summing Up: Recommended. Upper-division undergraduates through professionals. (H. J. Bender, Choice, Vol. 47 (3), November, 2009)
