La Milano

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time-,

Description: Book Details Title: Modeling, Verification and Exploration of Task-Level Concurrency Item Condition: New Author: Filip Thoen, Francky Catthoor ISBN 10: 1461369983 Publisher: Springer ISBN 13: 9781461369981 Published On: 1999-11-30 SKU: 4444-ING-9781461369981 Binding: Paperback Language: english Edition: Softcover reprint of the original 1st ed. 2000 List Price: - At AwesomeBooks we believe that good quality and speed of service is what pleases our customers and according to this we have a product guarantee on all our books. All used books sold by AwesomeBooks: Will be clean, not soiled or stained. All pages will be present and undamaged. Books will be free of page markings. Some pages may be slightly dog-eared through previous use. The spine may show some creasing through previous use. Ultimately we would never send any book we would not pick up and read ourselves. All new books sold by AwesomeBooks: Will be completely new, sourced from the publisher. Wrapped carefully to prevent damage or curling of book edges. 100% money back guarantee If you are not satisfied for any reason, simply drop us an email and we will give you a 100% refund upon returning the item. If you are not happy then neither are we. If your order has not be reached you within a maximum of 21 days please contact us and we will respond immediately to help. Return Policy At AwesomeBooks, we believe our customers should feel free to order any of our products in the knowledge that they can return anything back within 30 days of purchasing an item for any reason. We will not make it awkward, if you want to return something then all you have to do is ask! Simply drop us an email to the address given on your order confirmation email or login to your paypal account used for payment and send us an email from there. For defects or problems caused before receipt of an item we will of course provide full instructions on how to return the item to us. For other issues (perhaps you did not like a product or it did not live up to expectations), we are happy to refund all costs but require the buyer to pay the return postage cost. Once you drop us an email requesting a return, we will let you know the precise return method quickly and conveniently.

Price: 219.73 USD

Location: MD

End Time: 2024-11-19T07:25:55.000Z

Shipping Cost: 0 USD

Product Images

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time-,

Item Specifics

Restocking Fee: No

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 30 Days

Refund will be given as: Money Back

PublishedOn: 1999-11-30

Title: Modeling, Verification and Exploration of Task-Level Concurrency

Artist: Not Specified

Number of Pages: Xv, 438 Pages

Language: English

Publication Name: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Publisher: Springer

Publication Year: 2012

Subject: Systems Architecture / General, Cad-Cam, Electrical, Data Processing

Item Weight: 25.5 Oz

Type: Textbook

Author: FiLIP Thoen, Francky Catthoor

Item Length: 9.4 in

Subject Area: Computers, Technology & Engineering

Item Width: 6.3 in

Format: Trade Paperback

Recommended

Verification, Model Checking, and Abstract Interpretation: 22nd International Co
Verification, Model Checking, and Abstract Interpretation: 22nd International Co

$115.00

View Details
Writing Testbenches: Functional Verification of HDL Models
Writing Testbenches: Functional Verification of HDL Models

$24.97

View Details
Leveraging Applications Of Formal Methods, Verification And Validation  Tec...
Leveraging Applications Of Formal Methods, Verification And Validation Tec...

$59.58

View Details
Embedded System Design: Modeling, Synthesis and Verification
Embedded System Design: Modeling, Synthesis and Verification

$15.69

View Details
Embedded System Design: Modeling, Synthesis and Verification by Daniel D. Gajski
Embedded System Design: Modeling, Synthesis and Verification by Daniel D. Gajski

$66.98

View Details
Logozzo - Verification Model Checking and Abstract Interpretation   - S9000z
Logozzo - Verification Model Checking and Abstract Interpretation - S9000z

$69.20

View Details
Writing Testbenches: Functional Verification of HDL Models - VERY GOOD
Writing Testbenches: Functional Verification of HDL Models - VERY GOOD

$26.12

View Details
The Process Of Verification And Validation Of Building Fire Evacuation Models
The Process Of Verification And Validation Of Building Fire Evacuation Models

$15.54

View Details
Verification by Error Modeling: Using Testing Techniques in Hardware Verificatio
Verification by Error Modeling: Using Testing Techniques in Hardware Verificatio

$125.99

View Details
Verification, Model Checking, and Abstract Interpretation: 17th International Co
Verification, Model Checking, and Abstract Interpretation: 17th International Co

$67.23

View Details