-
351. Formal Methods
Seller Description: Brand New. New. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031274800
Paperback, New
New Delhi, DELHI, INDIA
$91.19
-
352. Formal Methods Teaching: 5th International Workshop, Fmtea 2023, Lübeck, Germany, March 6, 2023, Proceedings (Lecture Notes in Computer Science)
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2023, Springer
ISBN-13: 9783031275333
paperback, Good
Santa Clarita, CA, USA
$91.98
-
353. Integrated Formal Methods
Seller Description: Brand New. New. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031477041
Paperback, New
New Delhi, DELHI, INDIA
$92.83
-
354. Formal Verification of Floating-Point Hardware Des
Seller Description: Brand New. New. See More Details
2023, Springer Nature Switzerland AG
ISBN-13: 9783030871833
Paperback, New
New Delhi, DELHI, INDIA
$93.40
-
355. Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings
by Hermanns, Holger (Editor), and Sun, Jun (Editor), and Bu, Lei (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XIII, 436 p. 118 illus., 86 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer Verlag, Singapore
ISBN-13: 9789819986637
Paperback, New
NV, USA
$93.53
-
356. Nasa Formal Methods
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031331695
Paperback, New
Irving, TX, USA
$93.54
-
357. Formal Verification of Floating-Point Hardware Des
Seller Description: Brand New. New. See More Details
2023, Springer Nature Switzerland AG
ISBN-13: 9783030871833
Paperback, New
New Delhi, DELHI, INDIA
$94.35
-
358. Nasa Formal Methods
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031331695
Format: EPUB eBook
Digital download
$99.00
-
359. Formal Methods
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031274800
Format: EPUB eBook
Digital download
$99.00
-
360. Formal Methods: 25th International Symposium, Fm 2023, Lübeck, Germany, March 6-10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science, 14000) [Paperback] [Mar 03, 2023] Chechik, Marsha; Katoen, Joost-Pieter and Leucker, Martin
Seller Description: New. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031274800
Paperback, New
Weybridge, SURREY, UNITED KINGDOM
$99.10
-
361. Integrated Formal Methods
Seller Description: Brand New. New. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031477041
Paperback, New
New Delhi, DELHI, INDIA
$99.14
-
362. Principles of Cyber-Physical Systems
by Alur, Rajeev
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2023, MIT Press
ISBN-13: 9780262548922
paperback, Good
Santa Clarita, CA, USA
$99.51
-
363. Principles of Cyber-Physical Systems
by Alur, Rajeev
Seller Description: New. Print on demand Trade paperback (US). Glued binding. 464 p. See More Details
2023, MIT Press
ISBN-13: 9780262548922
Trade paperback, New
NV, USA
$100.26
-
364. Formal Methods
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031274800
Paperback, New
Irving, TX, USA
$100.87
-
365. Principles of Cyber-Physical Systems
by Alur, Rajeev
Seller Description: New. Trade paperback (US). Glued binding. 464 p. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2023, MIT Press
ISBN-13: 9780262548922
Trade paperback, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$100.89
-
366. Principles of Cyber-Physical Systems
by Alur, Rajeev
Seller Description: Fine. Trade paperback (US). Glued binding. 464 p. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2023, MIT Press
ISBN-13: 9780262548922
Trade paperback, Fine/Like New
Columbia, MD, USA
$100.90
-
367. Principles of Cyber-Physical Systems
by Rajeev Alur
Seller Description: PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK. See More Details
2023, MIT Press Ltd
ISBN-13: 9780262548922
Softcover, New
Fairford, GLOUCESTERSHIRE, UNITED KINGDOM
$101.00
-
368. NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
by Rozier, Kristin Yvonne (Editor), and Chaudhuri, Swarat (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXIII, 490 p. 149 illus., 89 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031331695
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$103.40
-
369. Formal Verification of Floating-Point Hardware Des
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2023, Springer Nature Switzerland AG
ISBN-13: 9783030871833
Paperback, New
Irving, TX, USA
$108.20
-
370. Integrated Formal Methods
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031477041
Paperback, New
Irving, TX, USA
$108.20
-
371. NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
by Rozier, Kristin Yvonne (Editor), and Chaudhuri, Swarat (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXIII, 490 p. 149 illus., 89 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031331695
Paperback, New
NV, USA
$112.32
|
