Code: 20153455
Formal System Verification
by Rolf Drechsler
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 electron ... more
- Language:
English - Binding: Paperback
- Number of pages: 182
Publisher: Springer International Publishing AG, 2018
- More about this
123.50 €
RRP: 133.83 €
You save 10.33 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Animal Orchestra Plays Tchaikovsky
16.07 € -13 % -
Classical Remix For The Recorder
11.32 € -25 % -
Octopus Pie Volume 5
16.07 € -29 % -
The Boy Who Invented Television
21.23 € -
Cambridge Primary Path Level 6 Student's Book with My Creative Journal, Cue Cards and eBook
44.20 € -4 % -
Casos prácticos de ingeniería financiera
88 € -14 % -
Moja i twoja astrologia. Jak zrozumieć i poprawić relacje z innymi dzięki znakom zodiaku wyd. 2022
16.68 € -15 % -
The Baby's Bouquet (Traditional Chinese): 02 Zhuyin Fuhao (Bopomofo) Paperback Color
31.96 € -7 % -
Basic Microbiology for Drinking Water
109.44 € -
Economic Growth Theory
63.01 € -
Unverschmerzt
21.03 € -4 % -
Cross-border Oil and Gas Pipelines and the Role of the Transit Country
55.83 € -
La Traduction conomique
44.50 € -11 % -
LIGA DE LA JUSTICIA NUM. 78/23 (RENACIMIENTO)
6.06 € -
L'aventure spirituelle des sociétés initiatiques - des origines jusqu'à nos jours
30.34 € -
Electricity For The Farm
22.35 € -14 % -
Grandfather's Lessons
22.04 € -25 % -
Who Am I?
10.61 € -25 % -
Wives without Husbands
42.07 € -
Media in Question
124.72 € -9 % -
Buzzsaw Joint Cut 05+06
18.91 € -
Theory of Optical Processes in Semiconductors
267.85 € -
Tanz und Tod in Kunst und Literatur.
112.88 € -6 % -
The Beard Nest
21.23 € -
Memoires, 1706-1742. Tome 1
25.99 € -
Physical Review, Volume 5
23.56 € -25 % -
Education of Historians for Twenty-first Century
26.80 € -
Das UNESCO- Weltkulturerbe "Stelling van Amsterdam".
30.44 € -11 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Formal System Verification
You get 299 loyalty points
Book synopsis
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).
Book details
123.50 €
- Full title: Formal System Verification
- Subtitle: State-of the-Art and Future Trends
- Author: Rolf Drechsler
- Language: English
- Binding: Paperback
- Number of pages: 182
- EAN: 9783319862231
- ISBN: 9783319862231
- ID: 20153455
- Publisher: Springer International Publishing AG
- Weight: 454 g
- Dimensions: 235 × 155 × 12 mm
- Date of publishing: 10. August 2018
Trending among others
-
Moonwalk
13.95 € -18 % -
The Score
13.65 € -13 % -
The Deal
12.23 € -22 % -
The Mistake
13.44 € -15 % -
Jujutsu Kaisen, Vol. 30
9.90 € -20 % -
Berserk Deluxe Volume 1
35.70 € -25 % -
The Goal
14.56 € -
Berserk Deluxe Volume 2
33.17 € -30 % -
Invincible Compendium Volume 2
45.81 € -24 % -
Dancing The Dream
19.92 € -31 % -
Legacy
11.93 € -22 % -
Berserk Deluxe Volume 3
55.22 € -
Lord of Mysteries, Vol. 3: The Clown, Part III
17.09 € -13 % -
Murdoku
14.05 € -28 % -
White Nights
4.54 € -
Chainsaw Man, Vol. 21
7.68 € -30 % -
Witch Hat Atelier Manga Box Set 1
55.83 € -29 % -
Jujutsu Kaisen, Vol. 29
9.70 € -25 % -
Jujutsu Kaisen, Vol. 25
9.70 € -25 % -
Invincible Compendium Volume 3
46.42 € -23 % -
Witch Hat Atelier: Grimoire Edition 1
35.29 € -29 % -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
18.10 € -25 % -
Berserk Deluxe Volume 5
54.92 € -
Jujutsu Kaisen, Vol. 26
9.70 € -25 % -
Heated Rivalry
12.43 € -8 % -
Lord of Mysteries, Vol. 1: The Clown, Part I
15.37 € -22 % -
Jujutsu Kaisen, Vol. 2
9.90 € -20 % -
Moonwalk: A Memoir
21.74 € -29 % -
Jujutsu Kaisen, Vol. 1
13.34 € -
Veil Volume 1
11.62 € -27 % -
Berserk Deluxe Volume 4
43.59 € -17 % -
Jujutsu Kaisen, Vol. 28
9.70 € -25 % -
Yesteryear
16.38 € -23 % -
Restitution
9.80 € -27 % -
Invincible Compendium Volume 1
48.24 € -22 % -
The Courage To Be Disliked
10.61 € -14 % -
The Long Game
12.23 € -10 % -
Witch Hat Atelier: Grimoire Edition 2
34.69 € -30 % -
Murdoku
14.86 € -27 % -
Berserk Deluxe Volume 6
54.72 € -
Jujutsu Kaisen, Vol. 3
9.30 € -28 % -
The Ballad of Falling Dragons
14.05 € -14 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 1
18.91 € -22 % -
The Deal
14.66 € -22 % -
Voracious
11.32 € -16 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 2
18.30 € -24 % -
The Summer Hikaru Died, Vol. 7
11.93 € -21 % -
Lord of Mysteries, Vol. 2: The Clown, Part II
19.31 € -2 % -
Atomic Habits
15.77 € -23 %
Shopping guide
Books by language
Collection points Bratislava a 12892 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25788 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)