Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Formal System Verification

State-of the-Art and Future Trends

Language EnglishEnglish
Book Paperback
Book Formal System Verification Rolf Drechsler
Libristo code: 20153455
Publishers Springer International Publishing AG, August 2018
This book provides readers with a comprehensive introduction to the formal verification of hardware... Full description
? points 299 b
123.50 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

LIGA DE LA JUSTICIA NUM. 78/23 (RENACIMIENTO) Priest / Book Paperback
common.buy 6.06 €
Casos prácticos de ingeniería financiera / Book Paperback
common.buy 88.00 €
Moja i twoja astrologia. Jak zrozumieć i poprawić relacje z innymi dzięki znakom zodiaku wyd. 2022 Gary Goldschneider / Book Hardback
common.buy 16.68 €
L'aventure spirituelle des sociétés initiatiques - des origines jusqu'à nos jours Caradeau / Book Paperback
common.buy 30.34 €
Buzzsaw Joint Cut 05+06 / Audio Audio CD
common.buy 18.91 €
Memoires, 1706-1742. Tome 1 WILHELMINE FRIEDERIK / Book Paperback
common.buy 27.20 €
The Baby's Bouquet (Traditional Chinese): 02 Zhuyin Fuhao (Bopomofo) Paperback Color H y Xiao Phd / Book Paperback
common.buy 33.68 €
Unverschmerzt Dietmar Albrecht / Book Paperback
common.buy 21.03 €
La Traduction conomique Alice Beuchat / Book Paperback
common.buy 44.50 €
Tanz und Tod in Kunst und Literatur. Franz Link / Book Paperback
common.buy 112.88 €
Das UNESCO- Weltkulturerbe "Stelling van Amsterdam". Julia Seelig / Book Hardback
common.buy 30.44 €

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL).

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal System Verification
Author Rolf Drechsler
Language English
Binding Book - Paperback
Date of issue 2018
Number of pages 182
EAN 9783319862231
ISBN 9783319862231
Libristo code 20153455
Publishers Springer International Publishing AG
Weight 454
Dimensions 155 x 235 x 12

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

The Boy Who Invented Television Schatzkin / Book Paperback
common.buy 22.24 €
Octopus Pie Volume 5 Meredith Gran / Book Paperback
common.buy 17.19 €
Classical Remix For The Recorder CARTER / Book Paperback
common.buy 12.13 €
Secret History of the Mongol Queens Jack Weatherford / E-book Adobe ePub DRM
common.buy 16.28 €
Physical Review, Volume 5 Cornell University / Book Paperback
common.buy 25.18 €
Top
Animal Orchestra Plays Tchaikovsky Sam Taplin / Book Board book
common.buy 13.95 €
Electricity For The Farm Frederick Irving Anderson / Book Paperback
common.buy 22.35 €
Economic Growth Theory Wei-Bin Zhang / Book Paperback
common.buy 63.01 €
The Beard Nest Jeff Robison / Book Hardback
common.buy 22.24 €
Grandfather's Lessons Jacques Paepin / Book Hardback
common.buy 23.46 €
Differentiation and Integration BOLTON / Book Hardback
common.buy 188.34 €
Who Am I? Rev. Pablo Arocha / Book Paperback
common.buy 11.32 €
Basic Microbiology for Drinking Water Dennis Hill / Book Paperback
common.buy 114.30 €
Cambridge Primary Path Level 6 Student's Book with My Creative Journal, Cue Cards and eBook Susannah Reed / Book Paperback
common.buy 44.20 €
Dalmatian Training Vol 3 - Taking care of your Dalmatian: Nutrition, common diseases and general care of your Dalmatian Claudia Kaiser / E-book Adobe ePub DRM
common.buy 4.95 €
Wives without Husbands Anna R. Igra / Book Paperback
common.buy 44.09 €
Education of Historians for Twenty-first Century Thomas Bender / Book Paperback
common.buy 27.91 €
Media in Question Kees Brants / Book Hardback
common.buy 124.72 €
Theory of Optical Processes in Semiconductors Prasanta Kumar Basu / Book Hardback
common.buy 280.09 €
Cross-border Oil and Gas Pipelines and the Role of the Transit Country James Omonbude / Book Hardback
common.buy 58.46 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?