Description: Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking [Wit by Drusinsky, Doron May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less
Price: 17.28 USD
Location: Aurora, Illinois
End Time: 2024-11-12T19:26:45.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Seller
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Binding: Hardcover
Weight: 1 lbs
Product Group: Book
IsTextBook: No
Number of Pages: 400 Pages
Publication Name: Modeling and Verification Using UML Statecharts : A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
Language: English
Publisher: Elsevier Science & Technology
Publication Year: 2006
Item Height: 1.1 in
Subject: Microprocessors, Computer Science, General, Programming Languages / Uml
Type: Textbook
Item Weight: 23.1 Oz
Item Length: 9 in
Subject Area: Mathematics, Computers
Author: Doron Drusinsky
Item Width: 6 in
Format: Hardcover
