Rigorous software development an introduction to program verification

Rigorous software development an introduction to program verification

Saved in:
Bibliographic Details
Other Authors: Almeida, Jose Bacelar
Format: Book
Published: London Springer 2011
Series:Undergraduate topics in computer science
Subjects:
Computer software > Development
Computer software > Verification
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xii, 263 p. ill. 23 cm
Bibliography:Includes bibliographical references and index
ISBN:9780857290175 (pbk.)
0857290177 (pbk.)
ISSN:1863-7310

Similar Items