Availability: In Stock

REAL TIME SYSTEMS FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION (HB)

Author: OLDEROG
SKU: 145312

Original price was: ₨27,857.Current price is: ₨25,071.

Only 1 left in stock

Description

Code: 145312 |
Author: OLDEROG |
Year: 2008 |
ISBN: 9780521883337 |
Publisher: RISING SUN BOOKS CO.

Additional information

Weight 0.9 kg
Publisher

Author

Year