-
26. Embedded Software Development for Safety-Critical Systems
by Chris Hobbs
Seller Description: 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
2025, CRC Press
ISBN-13: 9781032980379
Softcover, New
Bensenville, IL, USA
$79.92
-
27. Thinking Programs
by Wolfgang Schreiner
eBook See More Details
2025, Springer Nature
eBook ISBN: 9783031997044
Edition: 2nd edition
Format: PDF eBook
Digital download
$79.99
-
28. Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
by Schreiner, Wolfgang
Seller Description: New. Print on demand Contains: Illustrations, black & white. Texts & Monographs in Symbolic Computation . XIX, 641 p. 1 illus. Intended for professional and scholarly audience. See More Details
2025, Springer International Publishing AG
ISBN-13: 9783031997044
Hardcover, New
NV, USA
$84.14
-
29. Thinking Programs
Seller Description: New, Satisfaction guaranteed! ! See More Details
2025, Springer International Publishing AG
ISBN-13: 9783031997044
Irving, TX, USA
$84.82
-
30. Simple Type Theory
Seller Description: New, Satisfaction guaranteed! ! See More Details
2025, Birkhauser Verlag AG
ISBN-13: 9783031853517
Irving, TX, USA
$86.61
-
31. Computer Architecture
by John Hennessy
eBook See More Details
2025, Elsevier S & T
eBook ISBN: 9780443154065
Edition: 7th edition
Format: EPUB eBook
Digital download
$87.99
-
32. Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
by Schreiner, Wolfgang
Seller Description: Fine. Contains: Illustrations, color. Texts & Monographs in Symbolic Computation . XIX, 641 p. 643 illus. in color. 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, Springer International Publishing AG
ISBN-13: 9783031997044
Hardcover, Fine/Like New
Columbia, MD, USA
$88.18
-
33. Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
by Schreiner, Wolfgang
Seller Description: New. Contains: Illustrations, color. Texts & Monographs in Symbolic Computation . XIX, 641 p. 643 illus. in color. 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, Springer International Publishing AG
ISBN-13: 9783031997044
Hardcover, New
Columbia, MD, USA
$88.43
-
34. Embedded Software Development for Safety-Critical Systems
by Hobbs, Chris
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2025, CRC Press
ISBN-13: 9781032980379
paperback, Good
Santa Clarita, CA, USA
$89.72
-
35. Simple Type Theory
by William M. Farmer
eBook See More Details
2025, Springer Nature
eBook ISBN: 9783031853517
Edition: 2nd edition
Format: PDF eBook
Digital download
$89.99
-
36. Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
by Schreiner, Wolfgang
Seller Description: Fine. Contains: Illustrations, color. Texts & Monographs in Symbolic Computation . XIX, 641 p. 643 illus. in color. 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, Springer International Publishing AG
ISBN-13: 9783031997044
Hardcover, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$90.79
-
37. Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
by Schreiner, Wolfgang
Seller Description: New. Contains: Illustrations, color. Texts & Monographs in Symbolic Computation . XIX, 641 p. 643 illus. in color. 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, Springer International Publishing AG
ISBN-13: 9783031997044
Hardcover, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$91.70
-
38. Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
by Farmer, William M.
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Computer Science Foundations and Applied Logic . XXIX, 319 p. 11 illus., 5 illus. in color. Intended for professional and scholarly audience. See More Details
2025, Birkhauser Verlag AG
ISBN-13: 9783031853517
Hardcover, New
NV, USA
$93.53
-
39. Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
by Farmer, William M.
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Computer Science Foundations and Applied Logic . XXIX, 319 p. 11 illus., 5 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 ... See More Details
2025, Birkhauser Verlag AG
ISBN-13: 9783031853517
Hardcover, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$94.39
-
40. Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
by Farmer, William M.
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Computer Science Foundations and Applied Logic . XXIX, 319 p. 11 illus., 5 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 ... See More Details
2025, Birkhauser Verlag AG
ISBN-13: 9783031853517
Hardcover, New
Columbia, MD, USA
$94.80
-
41. Computer Architecture: a Quantitative Approach (the Morgan Kaufmann Series in Computer Architecture and Design)
by Hennessy, John L.; Patterson, David A.; Kozyrakis, Christos
Seller Description: The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped. See More Details
2025, Morgan Kaufmann
ISBN-13: 9780443154065
Paperback, New
Philadelphia, PA, USA
$95.88
-
42. Computer Architecture: a Quantitative Approach (the Morgan Kaufmann Series in Computer Architecture and Design)
by Hennessy, John L.; Patterson, David A.; Kozyrakis, Christos
Seller Description: Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. See More Details
2025, Morgan Kaufmann
ISBN-13: 9780443154065
Paperback, Good
Philadelphia, PA, USA
$95.88
