Djones Lettnin (58 results)
Language: English
Published by New York, Springer. 2017
Series: Embedded Systems, Book 17 of 20. Book 17 of 20 - Embedded Systems
- Hardcover
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, , GermanyUniversitätsbuchhandlung Herta Hold GmbH
Contact seller4-star sellerCondition: Used
£ 14.29
£ 26.02 shippingShips from Germany to U.S.A.Quantity: 1 available
xvi, 208 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 97.06
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 86.64
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 84.12
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
Language: English
Published by Südwestdeutscher Verlag für Hochschulschriften 2015
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 53.05
£ 60.70 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Verification of Temporal Properties in Embedded Software | based on Assertion and Semiformal Verification Approaches | Djones Lettnin | Taschenbuch | 160 S. | Englisch | 2015 | Südwestdeutscher Verlag für Hochschulschriften | EAN 9783838112077 | Verantwortliche Person für die EU: BoD - Books on Deman…d, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.
Language: English
Published by Springer 2018
Series: Embedded Systems, Book 17 of 20. Book 17 of 20 - Embedded Systems
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 125.57
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 117.36
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer 2018
Series: Embedded Systems, Book 17 of 20. Book 17 of 20 - Embedded Systems
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 117.36
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer 2017
Series: Embedded Systems, Book 17 of 20. Book 17 of 20 - Embedded Systems
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 117.36
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer 2017
Series: Embedded Systems, Book 17 of 20. Book 17 of 20 - Embedded Systems
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 135.17
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer 2018
Series: Embedded Systems, Book 17 of 20. Book 17 of 20 - Embedded Systems
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 135.47
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 135.47
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Language: English
Published by Springer 2017
Series: Embedded Systems, Book 17 of 20. Book 17 of 20 - Embedded Systems
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 135.47
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Language: English
Published by Springer 2018
Series: Embedded Systems, Book 17 of 20. Book 17 of 20 - Embedded Systems
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 140.92
£ 3.02 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 98.24
£ 53.18 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The methodology described in this book is the result of many years of research experience in the field of synthesizable VHDL design targeting FPGA based platforms. VHDL was first conceived as a documentation language for ASIC designs. Afterwards, t…he language was used for the behavioral simulation of ASICs, and also as a design input for synthesis tools. VHDL is a rich language, but just a small subset of it can be used to write synthesizable code, from which a physical circuit can be obtained. Usually VHDL books describe both, synthesis and simulation aspects of the language, but in this book the reader is conducted just through the features acceptable by synthesis tools. The book introduces the subjects in a gradual and concise way, providing just enough information for the reader to develop their synthesizable digital systems in VHDL. The examples in the book were planned targeting an FPGA platform widely used around the world.
Language: English
Published by Springer 2017
Series: Embedded Systems, Book 17 of 20. Book 17 of 20 - Embedded Systems
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 157.61
£ 3.02 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 400.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 158.53
£ 3.02 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 157.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 160.22
£ 3.02 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 168.
- Softcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 139.34
£ 20.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. reprint edition. 168 pages. 9.25x6.10x0.38 inches. In Stock.
More imagesLanguage: English
Published by Springer 2018
Series: Embedded Systems, Book 17 of 20. Book 17 of 20 - Embedded Systems
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 101.02
£ 60.70 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Embedded Software Verification and Debugging | Djones Lettnin (u. a.) | Taschenbuch | Embedded Systems | xvi | Englisch | 2018 | Springer | EAN 9781493979318 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbi…eter: preigu.
Language: English
Published by Springer New York, Springer New York 2018
Series: Embedded Systems, Book 17 of 20. Book 17 of 20 - Embedded Systems
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 117.12
£ 53.54 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of comple…x systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification. This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.
- Hardcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 163.82
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 2014 edition. 157 pages. 9.25x6.25x0.50 inches. In Stock.
Language: English
Published by Springer International Publishing, Springer International Publishing 2013
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 124.23
£ 53.87 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The methodology described in this book is the result of many years of research experience in the field of synthesizable VHDL design targeting FPGA based platforms. VHDL was first conceived as a documentation language for ASIC designs. Afterwards, the lang…uage was used for the behavioral simulation of ASICs, and also as a design input for synthesis tools. VHDL is a rich language, but just a small subset of it can be used to write synthesizable code, from which a physical circuit can be obtained. Usually VHDL books describe both, synthesis and simulation aspects of the language, but in this book the reader is conducted just through the features acceptable by synthesis tools. The book introduces the subjects in a gradual and concise way, providing just enough information for the reader to develop their synthesizable digital systems in VHDL. The examples in the book were planned targeting an FPGA platform widely used around the world.
Language: English
Published by Springer Verlag 2017
Series: Embedded Systems, Book 17 of 20. Book 17 of 20 - Embedded Systems
- Hardcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 164.62
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 400 pages. 9.25x6.25x0.75 inches. In Stock.
Language: English
Published by Springer New York, Springer New York 2017
Series: Embedded Systems, Book 17 of 20. Book 17 of 20 - Embedded Systems
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 128.01
£ 54.23 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex syste…ms needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification. This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.
- Hardcover
Seller: Buchpark, Trebbin, , GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
£ 92.59
£ 91.06 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | The methodology described in this book is the result of many years of research experience in the field of synthesizable VHDL design targeting FPGA based platforms. VHDL was first conceived as a documentation language for ASIC designs. Afterwards, t…he language was used for the behavioral simulation of ASICs, and also as a design input for synthesis tools. VHDL is a rich language, but just a small subset of it can be used to write synthesizable code, from which a physical circuit can be obtained. Usually VHDL books describe both, synthesis and simulation aspects of the language, but in this book the reader is conducted just through the features acceptable by synthesis tools. The book introduces the subjects in a gradual and concise way, providing just enough information for the reader to develop their synthesizable digital systems in VHDL. The examples in the book were planned targeting an FPGA platform widely used around the world.
Language: English
Published by SPRINGER 2017
Series: Embedded Systems, Book 17 of 20. Book 17 of 20 - Embedded Systems
- Hardcover
- International Edition
Seller: UK BOOKS STORE, London, LONDO, United KingdomUK BOOKS STORE
Contact seller5-star sellerInternational EditionCondition: New
£ 184.38
£ 2.99 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if th…e Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 166.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 169.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Like New. Like New. book.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 199.31
£ 2.00 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
