Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Formal System Verification

State-of the-Art and Future Trends

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal System Verification Rolf Drechsler
Koda Libristo: 20153455
Založba Springer International Publishing AG, avgust 2018
This book provides readers with a comprehensive introduction to the formal verification of hardware... Celoten opis
? points 283 b
116.83 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

LIGA DE LA JUSTICIA NUM. 78/23 (RENACIMIENTO) Priest / Knjiga Mehka
common.buy 5.55 €
Casos prácticos de ingeniería financiera / Knjiga Mehka
common.buy 82.84 €
Santhià. Carta escursionistica: Via Francigena, Cammino di Oropa, Cammino di Masino 1:25.000 / Tiskani izdelki Zemljevid
common.buy 15.16 €
Wicked - relié collector - Tome 01 Jennifer L. Armentrout / Knjiga Trda
common.buy 30.03 €
Moja i twoja astrologia. Jak zrozumieć i poprawić relacje z innymi dzięki znakom zodiaku wyd. 2022 Gary Goldschneider / Knjiga Trda
common.buy 14.66 €
L'aventure spirituelle des sociétés initiatiques - des origines jusqu'à nos jours Caradeau / Knjiga Mehka
common.buy 27.30 €
Unverloren Susanne Katzenberg / Knjiga Trda
common.buy 23.66 €
Buzzsaw Joint Cut 05+06 / Zvok Zvočni CD
common.buy 18.00 €
Memoires, 1706-1742. Tome 1 WILHELMINE FRIEDERIK / Knjiga Mehka
common.buy 25.99 €
The Baby's Bouquet (Traditional Chinese): 02 Zhuyin Fuhao (Bopomofo) Paperback Color H y Xiao Phd / Knjiga Mehka
common.buy 31.96 €
Sue?o de una Noche de Verano (Spanish) Edition William Shakespeare / Knjiga Mehka
common.buy 8.18 €
Praktische Grundzuge der Gynakologie Rheinhard Hermann Rheinhard / Knjiga Mehka
common.buy 25.18 €
Unverschmerzt Dietmar Albrecht / Knjiga Mehka
common.buy 19.92 €
La Traduction conomique Alice Beuchat / Knjiga Mehka
common.buy 41.87 €
Tanz und Tod in Kunst und Literatur. Franz Link / Knjiga Mehka
common.buy 124.31 €
Das UNESCO- Weltkulturerbe "Stelling van Amsterdam". Julia Seelig / Knjiga Trda
common.buy 28.62 €

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).

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal System Verification
Avtor Rolf Drechsler
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2018
Število strani 182
EAN 9783319862231
ISBN 9783319862231
Koda Libristo 20153455
Založba Springer International Publishing AG
Teža 454
Mere 155 x 235 x 12

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Computing & Information Technology > Computer science > Computer architecture & logic design
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

The Boy Who Invented Television Schatzkin / Knjiga Mehka
common.buy 21.23 €
Who Am I? Rev. Pablo Arocha / Knjiga Mehka
common.buy 10.61 €
Grandfather's Lessons Jacques Paepin / Knjiga Trda
common.buy 20.52 €
Into Starry Outer Space Vivian Mineker / Knjiga Kartonka
common.buy 12.03 €
The Beard Nest Jeff Robison / Knjiga Trda
common.buy 21.23 €
History of the British occupation of India N. Kasturi / Knjiga Mehka
common.buy 20.73 €
Economic Growth Theory Wei-Bin Zhang / Knjiga Mehka
common.buy 62.51 €
Electricity For The Farm Frederick Irving Anderson / Knjiga Mehka
common.buy 21.03 €
Unlocking the Golden Handcuffs: Leaving the Public Service for Work You Really Love Lewis S Eisen / Knjiga Mehka
common.buy 9.90 €
Bates, Bears And Bunker Hill: With A Correction Or Two (1911) Edward Deacon / Knjiga Mehka
common.buy 20.22 €
Top
Animal Orchestra Plays Tchaikovsky Sam Taplin / Knjiga Kartonka
common.buy 12.94 €
Physical Review, Volume 5 Cornell University / Knjiga Mehka
common.buy 23.56 €
Archaeologia, Or, Miscellaneous Tracts Relating to Antiquity, Volume 59, Part 1 Society of Antiquaries of London / Knjiga Mehka
common.buy 22.24 €
Transforming Human Resource Functions With Automation Shikha Rana / Knjiga Trda
common.buy 223.55 €
Secret History of the Mongol Queens Jack Weatherford / E-knjiga Adobe ePub DRM
common.buy 14.46 €
Classical Remix For The Recorder CARTER / Knjiga Mehka
common.buy 11.32 €
Growth and Governance of Canadian Universities Howard C. Clark / Knjiga Mehka
common.buy 42.68 €
Cross-border Oil and Gas Pipelines and the Role of the Transit Country James Omonbude / Knjiga Trda
common.buy 53.20 €
Theory of Optical Processes in Semiconductors Prasanta Kumar Basu / Knjiga Trda
common.buy 292.03 €
Media in Question Kees Brants / Knjiga Trda
common.buy 110.86 €
Education of Historians for Twenty-first Century Thomas Bender / Knjiga Mehka
common.buy 32.77 €
Wives without Husbands Anna R. Igra / Knjiga Mehka
common.buy 42.07 €
Dalmatian Training Vol 3 - Taking care of your Dalmatian: Nutrition, common diseases and general care of your Dalmatian Claudia Kaiser / E-knjiga Adobe ePub DRM
common.buy 4.44 €
Where Have All the Mothers Gone? Jean Chamberlain Froese / Knjiga Mehka
common.buy 24.47 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo