Cover image not available

Push-button tools for application developers, full formal verification for component vendors

Thomas Wilson

Publication Data

Title Push-button tools for application developers, full formal verification for component vendors
Author Thomas Wilson
Contributors Robert G. Clark, Savi Maharaj, Savi Maharaj
Publisher Department of Computing Science and Mathematics, University of Stirling
Publication date 2007
Publication location Stirling
Language English

Topics

Computer software developers
Computer software :: Validation
Computer software :: Verification

Catalogue Data

OBNB ID GBA7A2863
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 [14] p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Push-button tools for application developers, full formal verification for component vendors by Thomas Wilson. Published by Department of Computing Science and Mathematics, University of Stirling in 2007. Publication and catalogue information, links to buy online and reader comments.