-
376. 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
-
377. 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
-
378. 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
-
379. Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
by Chechik, Marsha (Editor), and Katoen, Joost-Pieter (Editor), and Leucker, Martin (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XVI, 659 p. 1230 illus., 132 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031274800
Paperback, New
NV, USA
$112.32
-
380. Integrated Formal Methods
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031477041
Edition: 2024 edition
Format: EPUB eBook
Digital download
$119.00
-
381. Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
by Chechik, Marsha (Editor), and Katoen, Joost-Pieter (Editor), and Leucker, Martin (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XVI, 659 p. 1230 illus., 132 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031274800
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$119.01
-
382. Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
by Russinoff, David M.
Seller Description: New. Print on demand Contains: Illustrations, black & white. XXVIII, 436 p. 40 illus. Intended for professional and scholarly audience. See More Details
2023, Springer Nature Switzerland AG
ISBN-13: 9783030871833
Paperback, New
NV, USA
$121.72
-
383. Complex Data Analytics With Formal Concept Analysi
Seller Description: Brand New. New. See More Details
2023, Springer Nature Switzerland AG
ISBN-13: 9783030932800
Paperback, New
New Delhi, DELHI, INDIA
$126.10
-
384. Complex Data Analytics With Formal Concept Analysi
Seller Description: Brand New. New. See More Details
2023, Springer Nature Switzerland AG
ISBN-13: 9783030932800
Paperback, New
New Delhi, DELHI, INDIA
$127.40
-
385. Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
by Russinoff, David M.
Seller Description: New. Contains: Illustrations, black & white. XXVIII, 436 p. 40 illus. Intended for professional and scholarly audience. See More Details
2023, Springer Nature Switzerland AG
ISBN-13: 9783030871833
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$132.79
-
386. Formal Verification of Floating-Point Hardware Design: a Mathematical Approach
by Russinoff, David M.
Seller Description: New. See More Details
2023, Springer
ISBN-13: 9783030871833
paperback, New
Miramar, FL, USA
$138.99
-
387. Formal Verification of Floating-Point Hardware Design: a Mathematical Approach
by Russinoff, David M.
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: 9783030871833
paperback, Good
Santa Clarita, CA, USA
$142.60
-
388. Complex Data Analytics With Formal Concept Analysi
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2023, Springer Nature Switzerland AG
ISBN-13: 9783030932800
Paperback, New
Irving, TX, USA
$144.86
-
389. Principles of Cyber-Physical Systems
by Alur, Rajeev
Seller Description: New. See More Details
2023, MIT Press
ISBN-13: 9780262548922
paperback, New
Santa Clarita, CA, USA
$147.88
-
390. Complex Data Analytics with Formal Concept Analysis
by Missaoui, Rokia (Editor), and Kwuida, Léonard (Editor), and Abdessalem, Talel (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. XXV, 260 p. 87 illus., 27 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer Nature Switzerland AG
ISBN-13: 9783030932800
Paperback, New
NV, USA
$178.08
-
391. Formal Verification of Floating-Point Hardware Design: a Mathematical Approach
by Russinoff, David M.
Seller Description: New. See More Details
2023, Springer
ISBN-13: 9783030871833
paperback, New
Santa Clarita, CA, USA
$183.39
-
392. Complex Data Analytics With Formal Concept Analysis
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: 9783030932800
paperback, Good
Santa Clarita, CA, USA
$209.03
-
393. Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops
eBook See More Details
2022, Springer Nature
eBook ISBN: 9783031124280
Format: EPUB eBook
Digital download
$16.50
-
394. Software Engineering and Formal Methods
eBook See More Details
2022, Springer Nature
eBook ISBN: 9783031171079
Format: EPUB eBook
Digital download
$21.00
|
