Picture 1 of 1
Stock photo
Picture 1 of 1
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)
B
Books From California (169585)
99.4% positive feedback
Price:
EUR 53.57
ApproximatelyRM 263.99
+ 17.02 shipping
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Condition:
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
LanguageEnglish
Publication NameModel Checking, Second Edition
SubjectOperating Systems / General, Computer Science
Publication Year2018
TypeTextbook
Subject AreaComputers
AuthorOrna Grumberg, Daniel Kroening, Helmut Veith, Doron Peled, Edmund M. Clarke Jr.
SeriesCyber Physical Systems Ser.
FormatHardcover
Dimensions
Item Height1.1 in
Item Weight28.9 oz.
Item Length9.3 in
Item Width7.3 in
Additional Product Features
Edition Number2
Intended AudienceTrade
Be the first to write a review
