This book is currently unavailable on Open Library, check out available alternatives.
An edition of Using model checking to generate tests from specifications (1998)

Using model checking to generate tests from specifications

by

Using model checking to generate tests from s ...
Paul E Ammann
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

This book is currently unavailable on Open Library, check out available alternatives.
Last edited by WorkBot
January 16, 2010 | History
Edit
An edition of Using model checking to generate tests from specifications (1998)

Using model checking to generate tests from specifications

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology
Language
English

Check nearby libraries

Buy this book

Subjects

Testing Computer software
Edition Availability
Cover of: Using model checking to generate tests from specifications
Using model checking to generate tests from specifications
1998, U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology
Microform in English

Add another edition?

Book Details

Edition Notes

Shipping list no.: 99-0688-M

"November 1998."

Includes bibliographical references (p. [8]-[9])

Microfiche. [Washington, D.C.] : Supt. of Docs., U.S. G.P.O., [1999] 1 microfiche : negative

Published in
Gaithersburg, MD
Series
NISTIR -- 6166

The Physical Object

Format
Microform
Pagination
[9] p.

Edition Identifiers

Open Library
OL13625552M
OCLC/WorldCat
41993716

Work Identifiers

Work ID
OL10401237W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON