Picture 1 of 2
Stock photo
Picture 1 of 2
Stock photo
Cyber Physical Systems Ser.: Model Checking, Second Edition by Orna Grumberg, Daniel Kroening, Helmut Veith, Doron Peled and Edmund M. Clarke Jr. (2018, Hardcover)
loveourprices2 (120160)
95.3% positive Feedback
Price:
£61.80
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:
- Buy it nowModel Checking (Cyber Physical Systems Series) by Jr., Edmund M. Clarke
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-100262038838
ISBN-139780262038836
eBay Product ID (ePID)9046497001
Product Key Features
Number of Pages424 Pages
Publication NameModel Checking, Second Edition
LanguageEnglish
SubjectOperating Systems / General, Computer Science
Publication Year2018
TypeTextbook
AuthorOrna Grumberg, Daniel Kroening, Helmut Veith, Doron Peled, Edmund M. Clarke Jr.
Subject AreaComputers
SeriesCyber Physical Systems Ser.
FormatHardcover
Dimensions
Item Height1.1 in
Item Weight28.7 oz.
Item Length9.3 in
Item Width7.3 in
Additional Product Features
Edition Number2
Intended AudienceTrade
All listings for this product
Be the first to write a review
