Picture 1 of 3
Stock photo
Picture 1 of 3
Stock photo
The Cyber-Physical Systems Ser.: Model Checking by Orna Grumberg, Edmund M. Clarke and Doron Peled (1999, Hardcover)
plsshipfast (11755)
99% positive Feedback
Price:
£30.09
Free postage
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Condition:
Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years.This is the first comprehensive presentation of the theory and practice of model checking.
- Buy it nowModel Checking
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherMIT Press
ISBN-100262032708
ISBN-139780262032704
eBay Product ID (ePID)89696849
Product Key Features
Number of Pages334 Pages
LanguageEnglish
Publication NameModel Checking
SubjectSoftware Development & Engineering / Quality Assurance & Testing, Computer Science
Publication Year1999
TypeTextbook
Subject AreaComputers
AuthorOrna Grumberg, Edmund M. Clarke, Doron Peled
SeriesThe Cyber-Physical Systems Ser.
FormatHardcover
Dimensions
Item Height0.9 in
Item Weight24.1 oz.
Item Length9.3 in
Item Width7.2 in
Additional Product Features
Intended AudienceScholarly & Professional
All listings for this product
Be the first to write a review
