Software verification and analysis : an integrated, hands-on approach /

Bibliographic Details
Main Author:	Łaski, Janusz
Corporate Author:	SpringerLink (Online service)
Other Authors:	Stanley, William
Format:	eBook
Language:	English
Published:	London ; New York : Springer, [2009]
Subjects:	Computer software > Verification. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online