Order Total (1 Item Items):
Shipping Destination:
Lettnin (66 results)
Author:
lettnin
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (66)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (56)
- As New, Fine or Near Fine (4)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (26)
- Not Print on Demand (36)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
International Textbook of Mixed Gas Diving: Theory, Technique, Application (Diversification S.)
Language: English
Published by Best Publishing Co ,U.S., 1999
ISBN 10: 0941332500 ISBN 13: 9780941332507
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
International Textbook of Mixed Gas Diving
Language: English
Published by Best Publishing Company, 1998
ISBN 10: 0941332500 ISBN 13: 9780941332507
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
First Edition
Condition: Very Good. 1st Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
International Textbook of Mixe
Language: English
Published by Best Publishing Co ,U.S., 1999
ISBN 10: 0941332500 ISBN 13: 9780941332507
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
International Textbook Of Mixed Gas Diving: Theory Technique Application
Language: English
Published by Best Pub. Co., Flagstaff, AZ, 1999
ISBN 10: 0941332500 ISBN 13: 9780941332507
Softcover. Condition: Fine. B & W ; 5 1/4 x 8 1/4"; ix, 264 pages; Soft cover has white spine with black lettering. Slight rubbing, scuffing to covers. Pages are clean and tight; appears as if unused. Illustrated with dozens of b/w figures. 'The use of mixed gases and modern dive techniques have opened completely new dimensions for underwater exploration. The International Textbook of Mixed Gas Diving gives a comprehensive overview of up-to-date diving technology, including mixed gas diving procedures. Mixed gas equipment and procedures are explained in a clear and concise style. 'References; index.
-
Embedded Software Verification and Debugging.
Book 17 of 20: Embedded SystemsSeller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Association Member: GIAQ ILAB VDA
Seller rating 4 out of 5 stars
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.
-
International Textbook of Mixed Gas Diving: Theory Technique Application (Diversification)
Language: English
Published by Best Publishing Co ,U.S., 1999
ISBN 10: 0941332500 ISBN 13: 9780941332507
US$ 43.06
US$ 13.31 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 1st edition. 264 pages. 8.10x5.20x0.80 inches. In Stock.
-
Synthesizable VHDL Design for FPGAs
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 117.88
US$ 15.94 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 115.31
US$ 20.62 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Verification of Temporal Properties in Embedded Software | based on Assertion and Semiformal Verification Approaches
Language: English
Published by Südwestdeutscher Verlag für Hochschulschriften, 2015
ISBN 10: 3838112075 ISBN 13: 9783838112077
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 Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.
-
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, the 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.
-
-
Embedded Software Verification and Debugging (Embedded Systems)
Book 17 of 20: Embedded SystemsSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 159.66
US$ 15.94 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Embedded Software Verification and Debugging (Embedded Systems)
Book 17 of 20: Embedded SystemsSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 159.66
US$ 15.94 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Synthesizable VHDL Design for FPGAs
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 159.66
US$ 15.94 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. pp. 400.
-
Condition: New. pp. 168.
-
Condition: New. pp. 157.
-
Synthesizable VHDL Design for FPGAs
Language: English
Published by Springer International Publishing, 2016
ISBN 10: 3319377337 ISBN 13: 9783319377339
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, the 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.
-
US$ 187.73
US$ 26.62 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. reprint edition. 168 pages. 9.25x6.10x0.38 inches. In Stock.
-
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 | Anbieter: preigu.
-
Embedded Software Verification and Debugging
Book 17 of 20: Embedded SystemsLanguage: English
Published by Springer New York, Springer New York, 2018
ISBN 10: 1493979310 ISBN 13: 9781493979318
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 complex 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.
-
US$ 220.72
US$ 13.31 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 2014 edition. 157 pages. 9.25x6.25x0.50 inches. In Stock.
-
US$ 221.77
US$ 16.64 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 400 pages. 9.25x6.25x0.75 inches. In Stock.
-
Synthesizable VHDL Design for FPGAs
Language: English
Published by Springer International Publishing, Springer International Publishing, 2013
ISBN 10: 3319025465 ISBN 13: 9783319025469
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 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.
-
Embedded Software Verification and Debugging
Book 17 of 20: Embedded SystemsLanguage: English
Published by Springer New York, Springer New York, 2017
ISBN 10: 1461422655 ISBN 13: 9781461422655
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 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.
-
International EditionUS$ 235.47
US$ 7.97 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: New. Brand New ! Fast Delivery "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 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
US$ 223.45
US$ 33.27 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
US$ 231.67
US$ 33.27 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
-
US$ 239.90
US$ 33.27 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
3. aktuellste Auflage - sehr guter Zustand, Springer-Verlag, Hardcover, h4.
