-
26. Model Checking Software
Seller Description: New, Satisfaction guaranteed! ! See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031661488
Paperback, New
Irving, TX, USA
$64.39
-
27. Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
by Neele, Thomas (Editor), and Wijs, Anton (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XIV, 270 p. 114 illus., 62 illus. in color. Intended for professional and scholarly audience. 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 ... See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031661488
Paperback, New
Columbia, MD, USA
$66.14
-
28. Guide to Software Verification With Frama-C
Seller Description: Brand New. New. See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031556074
New Delhi, DELHI, INDIA
$70.96
-
29. Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
by Kosmatov, Nikolai (Editor), and Prevosto, Virgile (Editor), and Signoles, Julien (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Computer Science Foundations and Applied Logic . XXIV, 697 p. 196 illus., 69 illus. in color. Intended for professional and scholarly audience. 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 ... See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031556074
Hardcover, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$77.34
-
30. Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
by Kosmatov, Nikolai (Editor), and Prevosto, Virgile (Editor), and Signoles, Julien (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Computer Science Foundations and Applied Logic . XXIV, 697 p. 196 illus., 69 illus. in color. Intended for professional and scholarly audience. See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031556074
Hardcover, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$80.90
-
31. Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
by Kosmatov, Nikolai (Editor), and Prevosto, Virgile (Editor), and Signoles, Julien (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Computer Science Foundations and Applied Logic . XXIV, 697 p. 196 illus., 69 illus. in color. Intended for professional and scholarly audience. 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 ... See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031556074
Hardcover, New
Columbia, MD, USA
$82.85
-
32. Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
by Kosmatov, Nikolai (Editor), and Prevosto, Virgile (Editor), and Signoles, Julien (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Computer Science Foundations and Applied Logic . XXIV, 697 p. 196 illus., 69 illus. in color. Intended for professional and scholarly audience. See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031556074
Hardcover, New
NV, USA
$84.14
-
33. Guide to Software Verification With Frama-C
Seller Description: New, Satisfaction guaranteed! ! See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031556074
Irving, TX, USA
$84.82
-
34. Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8? 9, 2024, 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
2024, Springer
ISBN-13: 9783031661488
paperback, Good
Santa Clarita, CA, USA
$93.99
-
35. Guide to Software Verification With Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2024, Springer
ISBN-13: 9783031556074
hardcover, Good
Santa Clarita, CA, USA
$121.33
-
36. Guide to Software Verification With Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)
Seller Description: New. See More Details
2024, Springer
ISBN-13: 9783031556074
hardcover, New
Santa Clarita, CA, USA
$158.64
-
37. Model Checking Software
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031321566
Format: EPUB eBook
Digital download
$18.00
-
38. Model Checking Software
Seller Description: Brand New. New. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031321566
Paperback, New
New Delhi, DELHI, INDIA
$49.27
-
39. Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
by Caltais, Georgiana (Editor), and Schilling, Christian (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . X, 199 p. 50 illus., 24 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031321566
Paperback, New
NV, USA
$65.35
|
