Joshi Rajeev Editor (5 results)
Verified Software:: Theories, Tools, Experiments, 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
Joshi, Rajeev (Editor)/ Muller, Peter (Editor)/ Podelski, Andreas (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 92.66
US$ 16.90 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2012 edition. 337 pages. 9.50x6.25x0.75 inches. In Stock.
Nasa Formal Methods: 7th International Symposium, Nfm 2015, Pasadena, Ca, USA, April 27-29, 2015, Proceedings
Havelund, Klaus (Editor)/ Holzmann, Gerard (Editor)/ Joshi, Rajeev (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 94.49
US$ 16.90 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2015 edition. 435 pages. 9.00x6.00x1.25 inches. In Stock.
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Bobaru, Mihaela (Editor) / Havelund, Klaus (Editor) / Holzmann, Gerard (Editor) / Joshi, Rajeev (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 96.59
US$ 16.90 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 536 pages. 9.20x6.20x1.20 inches. In Stock.
Patient-Centric 6G: A New Era in Smart Healthcare
Kumar, Rajeev (Editor)/ Joshi, Ankush (Editor)/ Bajaj, Preeti (Editor)/ Parygin, Danila (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 177.69
US$ 13.52 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 344 pages. 9.18x6.12x9.21 inches. In Stock.
Patient-Centric 6G: A New Era in Smart Healthcare
Kumar, Rajeev (Editor)/ Joshi, Ankush (Editor)/ Bajaj, Preeti (Editor)/ Parygin, Danila (Editor)
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 444.97
US$ 16.90 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 344 pages. 9.18x6.12x9.45 inches. In Stock.
