Using Model Checking To Generate Test Cases For Critical Systems

by Wei Ding
language: english
Publisher: LAP Lambert Academic Publishing, September of 2010 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book

Using Model Checking To Generate Test Cases For Critical Systems

by Wei Ding

Property Description
ISBN: 9783843355650
Publisher: LAP Lambert Academic Publishing
Release Date: September of 2010
Language: English
Cover: Softcover
Pages: 88
Format: Book
Collection: Library Of The History Of Psychological Theories
Categories: Books in English > Computing > Other Applications
EAN: 9783843355650

BOOKS FROM THE SAME COLLECTION