Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal System Verification

State-of the-Art and Future Trends

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal System Verification Rolf Drechsler
Libristo-code: 20153455
Uitgeverij Springer International Publishing AG, augustus 2018
This book provides readers with a comprehensive introduction to the formal verification of hardware... Volledige beschrijving
? points 299 b
123.35 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

LIGA DE LA JUSTICIA NUM. 78/23 (RENACIMIENTO) Priest / Boek Gebonden (paperback)
common.buy 6.15 €
Buzzsaw Joint Cut 05+06 / Audio Audio cd
common.buy 18.88 €
Casos prácticos de ingeniería financiera / Boek Gebonden (paperback)
common.buy 87.89 €
Moja i twoja astrologia. Jak zrozumieć i poprawić relacje z innymi dzięki znakom zodiaku wyd. 2022 Gary Goldschneider / Boek Gebonden (harde band)
common.buy 13.83 €
L'aventure spirituelle des sociétés initiatiques - des origines jusqu'à nos jours Caradeau / Boek Gebonden (paperback)
common.buy 30.20 €
Memoires, 1706-1742. Tome 1 WILHELMINE FRIEDERIK / Boek Gebonden (paperback)
common.buy 27.17 €
Unverschmerzt Dietmar Albrecht / Boek Gebonden (paperback)
common.buy 21.00 €
La Traduction conomique Alice Beuchat / Boek Gebonden (paperback)
common.buy 44.44 €
Tanz und Tod in Kunst und Literatur. Franz Link / Boek Gebonden (paperback)
common.buy 112.74 €
Das UNESCO- Weltkulturerbe "Stelling van Amsterdam". Julia Seelig / Boek Gebonden (harde band)
common.buy 30.40 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal System Verification
Auteur Rolf Drechsler
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2018
Aantal pagina's 182
EAN 9783319862231
ISBN 9783319862231
Libristo-code 20153455
Uitgeverij Springer International Publishing AG
Gewicht 454
Afmetingen 155 x 235 x 12

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Elektronica: stroomketens en componenten
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Student Solution Manual for Differential Equations Barbara D. MacCluer / Boek Gebonden (paperback)
common.buy 42.63 €
The Boy Who Invented Television Schatzkin / Boek Gebonden (paperback)
common.buy 22.22 €
Grandfather's Lessons Jacques Paepin / Boek Gebonden (harde band)
common.buy 24.94 €
Secret History of the Mongol Queens Jack Weatherford / E-book Adobe ePub DRM
common.buy 16.16 €
TOP
Animal Orchestra Plays Tchaikovsky Sam Taplin / Boek Leporello (harmonicaboek)
common.buy 14.84 €
Classical Remix For The Recorder CARTER / Boek Gebonden (paperback)
common.buy 12.11 €
Cross-border Oil and Gas Pipelines and the Role of the Transit Country James Omonbude / Boek Gebonden (harde band)
common.buy 61.01 €
Electricity For The Farm Frederick Irving Anderson / Boek Gebonden (paperback)
common.buy 22.32 €
Economic Growth Theory Wei-Bin Zhang / Boek Gebonden (paperback)
common.buy 66.17 €
Octopus Pie Volume 5 Meredith Gran / Boek Gebonden (paperback)
common.buy 17.27 €
Differentiation and Integration BOLTON / Boek Gebonden (harde band)
common.buy 188.11 €
Who Am I? Rev. Pablo Arocha / Boek Gebonden (paperback)
common.buy 11.31 €
Basic Microbiology for Drinking Water Dennis Hill / Boek Gebonden (paperback)
common.buy 114.16 €
Cambridge Primary Path Level 6 Student's Book with My Creative Journal, Cue Cards and eBook Susannah Reed / Boek Gebonden (paperback)
common.buy 44.34 €
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.94 €
Wives without Husbands Anna R. Igra / Boek Gebonden (paperback)
common.buy 42.93 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?