Specification And Proof In Real Time Csp
hardcover
by Jim Davies(Author)
(0
reviews)
Inhouse product
Price
$62.63
/1
• Free Standard Shipping Transit in 8 – 14 Business Days
• Expedited Shipping Transit in 6 – 8 Business Days
Share
Top Selling Products
-
$21.15 -
$14.74
-
$20.71
-
$10.97
-
$17.88
Reviews & Ratings
0
out of 5.0
(0
reviews)
There have been no reviews for this product yet.
A formal methods text extending Communicating Sequential Processes (CSP) to include timing constraints for verifying real-time systems.
Additional Product Info :
ISBN 10 :
0521450551
0521450551
ISBN 13 :
9780521450553
9780521450553
Publisher :
Cambridge UP
Cambridge UP
Language :
English
English
Dimensions :
7 x 0.75 x 9.75
7 x 0.75 x 9.75
Item Weight :
0.21 kg
0.21 kg
Frequently Bought Products
Product Queries (0)
Login Or Registerto submit your questions to seller
Other Questions
No none asked to seller yet
Top Selling Products
-
$21.15
-
$14.74
-
$20.71
-
$10.97
-
$17.88
Arista Kart International, your global gateway to the world of books. With a curated inventory of over 1.5 million titles, we are proud to be one of the largest online bookstores, connecting readers across continents with stories, knowledge, and inspiration.
