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

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Formal System Verification Rolf Drechsler
Libristo-code: 16106137
Uitgeverij Springer International Publishing AG, juli 2017
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 10-13 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Contes Allemands 2e Edition SIMROCK-K / Boek Gebonden (paperback)
common.buy 22.12 €

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). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.

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 (harde band)
Datum van uitgifte 2017
Aantal pagina's 182
EAN 9783319576831
ISBN 3319576836
Libristo-code 16106137
Uitgeverij Springer International Publishing AG
Gewicht 4262
Afmetingen 155 x 235 x 18

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

Network Systems Management Dr Theophilus D Owusu / Boek Gebonden (paperback)
common.buy 92.64 €
Listening to the Future Bill Martin / Boek Gebonden (paperback)
common.buy 32.62 €
Gramsci (RLE: Gramsci) John A. Davis / Boek Gebonden (harde band)
common.buy 133.15 €
Flora Odorata Frederick Thompson Mott / Boek Gebonden (paperback)
common.buy 16.26 €
Friends and Fashion Coloring Book For Girls KREATIVE KIDS / Boek Gebonden (paperback)
common.buy 10.09 €

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?