-39%
Awaiting product image

REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION

Original price was: ₹6,576.00.Current price is: ₹3,980.00.

1 in stock

SKU: 9780521883337 Category:
loading

Description

REAL TIME SYSTEMS FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION (HB 2008)

  • ISBN No :- 9780521883337
  • Publisher :->Cambridge University Press
  • Author :- OLDEROG E R
  • Year of Publication :-2008
  • Binding Type :- Not Available

Related 5 Books On Search?

  1. REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION
  2. Survivors Songs From Maldon To The Somme (Hb 2008)
  3. LEADING IN THE TOP TEAM THE CXO CHALLENGE (HB 2008)
  4. MANAGING EXECUTIVE HEALTH: PERSONAL AND CORPORATE STRATEGIES FOR SUSTAINED SUCCESS
  5. Social Choice And Public Decision Making Essays In Honor Of Kenneth J Arrow Vol 1 (Pb 2008)

Additional information

Weight 1 kg

Reviews

There are no reviews yet.

Only logged in customers who have purchased this product may leave a review.

Related products