-
1. Guide to Software Verification With Frama-C
Seller Description: New, Satisfaction guaranteed! ! See More Details
2025, Springer International Publishing AG
ISBN-13: 9783031556104
Paperback, New
Irving, TX, USA
$63.01
-
2. Advanced Windows Memory Dump Analysis with Data Structures: Training Course Transcript and WinDbg Practice Exercises with Notes, Fifth Edition
by Vostokov, Dmitry, and Software Diagnostics Services, and Dublin School of Security
Seller Description: New. Print on demand Trade paperback (US). Glued binding. 342 p. Windows Internals Supplements. See More Details
2025, Opentask
ISBN-13: 9781912636952
Trade paperback, New
NV, USA
$85.03
-
3. Advanced Windows Memory Dump Analysis with Data Structures: Training Course Transcript and WinDbg Practice Exercises with Notes, Fifth Edition
by Vostokov, Dmitry, and Software Diagnostics Services, and Dublin School of Security
Seller Description: New. Trade paperback (US). Glued binding. 342 p. Windows Internals Supplements. 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
2025, Opentask
ISBN-13: 9781912636952
Trade paperback, New
Columbia, MD, USA
$95.11
-
4. Guide to Software Verification With Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)
Seller Description: New. See More Details
2025, Springer
ISBN-13: 9783031556104
paperback, New
Miramar, FL, USA
$111.47
-
5. Advanced Windows Memory Dump Analysis With Data Structures: Training Course Transcript and Windbg Practice Exercises With Notes, Fifth Edition (Windows Internals Supplements)
by Vostokov, Dmitry
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2025, Opentask
ISBN-13: 9781912636952
paperback, Good
Santa Clarita, CA, USA
$144.59
-
6. Model Checking Software
eBook See More Details
2024, Springer Nature
eBook ISBN: 9783031661488
Edition: 2024 edition
Format: EPUB eBook
Digital download
$16.50
-
7. Guide to Software Verification With Frama-C
eBook See More Details
2024, Springer Nature
eBook ISBN: 9783031556074
Edition: 2024 edition
Format: EPUB eBook
Digital download
$16.50
-
8. 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. Print on demand 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. See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031661488
Paperback, New
NV, USA
$51.65
-
9. Model Checking Software
Seller Description: New, Satisfaction guaranteed! ! See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031661488
Paperback, New
Irving, TX, USA
$57.39
-
10. 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
$75.14
|
