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
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 325 b
47 404 Ft
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 2 145 Ft
Casos prácticos de ingeniería financiera / Book Paperback
common.buy 33 988 Ft
Moja i twoja astrologia. Jak zrozumieć i poprawić relacje z innymi dzięki znakom zodiaku wyd. 2022 Gary Goldschneider / Book Hardback
common.buy 4 901 Ft
L'aventure spirituelle des sociétés initiatiques - des origines jusqu'à nos jours Caradeau / Book Paperback
common.buy 10 714 Ft
Buzzsaw Joint Cut 05+06 / Audio Audio CD
common.buy 7 212 Ft
Memoires, 1706-1742. Tome 1 WILHELMINE FRIEDERIK / Book Paperback
common.buy 10 332 Ft
The Baby's Bouquet (Traditional Chinese): 02 Zhuyin Fuhao (Bopomofo) Paperback Color H y Xiao Phd / Book Paperback
common.buy 12 873 Ft
Unverschmerzt Dietmar Albrecht / Book Paperback
common.buy 8 072 Ft
La Traduction conomique Alice Beuchat / Book Paperback
common.buy 17 194 Ft
Tanz und Tod in Kunst und Literatur. Franz Link / Book Paperback
common.buy 43 404 Ft
Das UNESCO- Weltkulturerbe "Stelling van Amsterdam". Julia Seelig / Book Hardback
common.buy 11 750 Ft

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 8 422 Ft
Octopus Pie Volume 5 Meredith Gran / Book Paperback
common.buy 6 084 Ft
Classical Remix For The Recorder CARTER / Book Paperback
common.buy 4 699 Ft
Secret History of the Mongol Queens Jack Weatherford / E-book Adobe ePub DRM
common.buy 5 748 Ft
Physical Review, Volume 5 Cornell University / Book Paperback
common.buy 9 780 Ft
Top
Animal Orchestra Plays Tchaikovsky Sam Taplin / Book Board book
common.buy 5 237 Ft
Electricity For The Farm Frederick Irving Anderson / Book Paperback
common.buy 8 638 Ft
Economic Growth Theory Wei-Bin Zhang / Book Paperback
common.buy 23 380 Ft
The Beard Nest Jeff Robison / Book Hardback
common.buy 8 422 Ft
Grandfather's Lessons Jacques Paepin / Book Hardback
common.buy 8 611 Ft
Differentiation and Integration BOLTON / Book Hardback
common.buy 71 221 Ft
Who Am I? Rev. Pablo Arocha / Book Paperback
common.buy 4 423 Ft
Basic Microbiology for Drinking Water Dennis Hill / Book Paperback
common.buy 43 096 Ft
Cambridge Primary Path Level 6 Student's Book with My Creative Journal, Cue Cards and eBook Susannah Reed / Book Paperback
common.buy 15 675 Ft
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 1 754 Ft
Wives without Husbands Anna R. Igra / Book Paperback
common.buy 16 260 Ft
Education of Historians for Twenty-first Century Thomas Bender / Book Paperback
common.buy 10 130 Ft
Media in Question Kees Brants / Book Hardback
common.buy 44 003 Ft
Theory of Optical Processes in Semiconductors Prasanta Kumar Basu / Book Hardback
common.buy 98 890 Ft
Cross-border Oil and Gas Pipelines and the Role of the Transit Country James Omonbude / Book Hardback
common.buy 21 189 Ft

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?