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 Methods for Hardware Verification

6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods for Hardware Verification Marco Bernardo
Libristo-code: 01562083
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mei 2006
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th editio... Volledige beschrijving
? points 148 b
61.16 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

The Autumn Stone Small Faces Audio Audio cd
common.buy 23.08 €
MARIA-MERCE MARÇAL. PETITS POEMES MARÇAL / Boek Gebonden (harde band)
common.buy 16.90 €
Intelektuálové a masy John Carey / Boek Gebonden (paperback)
common.buy 14.47 €
Pioneiras da ciencia en Galicia MANUEL REY PAN / Boek Gebonden (paperback)
common.buy 26.83 €
Chiaroscuro. Interpretazione di un delitto Simone Carbone / Boek Gebonden (paperback)
common.buy 20.55 €
L'oracle des échos oniriques Luna Ravenheart / Boek Gebonden (paperback)
common.buy 30.98 €
Chants du cauchemar et de la nuit Ligotti / Boek Gebonden (paperback)
common.buy 12.75 €
Christiana Albertina Präsidium der Christian-Albrechts-Universität zu Kiel / Boek Gebonden (paperback)
common.buy 27.34 €
ALLENDE Y EL MUSEO DEL SUICIDIO DORFMAN / Boek Gebonden (paperback)
common.buy 27.34 €
Innover avec les acteurs du monde rural Hocdé / Boek Gebonden (paperback)
common.buy 31.49 €
Alí i Ramboline VALENTI GUBIANAS / Boek Gebonden (harde band)
common.buy 15.89 €
La correspondencia de Benito Arias Montano con el presidente de Indias Juan de Ovando Baldomero Macías Rosendo / Boek Gebonden (paperback)
common.buy 25.41 €
Grundfragen der Anstiftung. Marios Nikolidakis / Boek Gebonden (paperback)
common.buy 78.28 €
Wie der König seinen Feind verlor Jorge Bucay / Boek Gebonden (harde band)
common.buy 13.16 €
Gormenghast. Band 2 Mervyn Peake / Boek Gebonden (harde band)
common.buy 19.44 €
Herrschaftsorganisation und Herrschaftspraxis im anglonormannischen Reich unter Wilhelm I. Joachim von Meien / Boek Gebonden (paperback)
common.buy 16.20 €
Finale in Sudafrika Stephanie Howe / Boek Gebonden (paperback)
common.buy 17.92 €
2984 Utta Kaiser-Plessow / Boek Gebonden (paperback)
common.buy 10.93 €
Zahlen fur ein erfolgreiches Business Grigori Grabovoi / Boek Gebonden (paperback)
common.buy 26.83 €
Vaillants Soldats Desplantes-F / Boek Gebonden (paperback)
common.buy 19.33 €
Poeta En Nueva York Federico García Lorca / Boek Gebonden (paperback)
common.buy 11.23 €
Unas tardes con Shakespeare Praz / Boek Gebonden (paperback)
common.buy 22.58 €
Будапэшт Kolozsvári Ildikó / Boek Blad
common.buy 8.80 €
99 Sayfada Tüp Bebek Bülent Gülekli / Boek Gebonden (paperback)
common.buy 8.19 €

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.

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 Methods for Hardware Verification
Auteur Marco Bernardo, Alessandro Cimatti
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2006
Aantal pagina's 244
EAN 9783540343042
ISBN 3540343040
Libristo-code 01562083
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 800
Afmetingen 155 x 235 x 17

Categorieën

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Expertsystemen / kennissystemen
Informatica en informatietechnologie > Computer hardware > Netwerkhardware
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
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

Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Boek Gebonden (harde band)
common.buy 514.41 €
Heating versus Cooling in Galaxies and Clusters of Galaxies H. Böhringer / Boek Gebonden (harde band)
common.buy 51.75 €
Case-Based Reasoning Research and Development Lorraine McGinty / Boek Gebonden (paperback)
common.buy 51.75 €
Conquest Andrea Smith / Boek Gebonden (paperback)
common.buy 25.31 €
Poets and Dreamers; Studies and Translations from the Irish Lady Gregory / Boek Gebonden (harde band)
common.buy 33.62 €
complete work of Rembrandt Wilhelm Von Bode / Boek Gebonden (paperback)
common.buy 28.55 €
The Servant's Prosperity: The True Purpose of Prosperity Timothy Campbell / Boek Gebonden (paperback)
common.buy 10.32 €
Pippa and Pop Level 1 Activity Book British English Colin Sage / Boek Gebonden (paperback)
common.buy 9.81 €
Montreal at War, 1914-1918 Terry Copp / Boek Gebonden (paperback)
common.buy 30.88 €
Echoes and Ashes Terrell Washington Anansi / Boek Gebonden (paperback)
common.buy 8.60 €
How To Love Yourself 100% Htebooks / Boek Gebonden (paperback)
common.buy 8.60 €
Info Buzz: Early Britons: Vikings Stephen White-Thomson / Boek Gebonden (paperback)
common.buy 10.83 €
Graffiti and Street Art Konstantinos Avramidis / Boek Gebonden (paperback)
common.buy 70.08 €
If I Was Your Hamster Angelia Smith / Boek Gebonden (paperback)
common.buy 10.12 €
Little Owl's Snow Divya Srinivasan / Boek Gebonden (harde band)
common.buy 15.08 €
In the Ravine & Other Stories Anton Chekhov / Boek Gebonden (harde band)
common.buy 12.04 €
Sanctus Illuminatus, 2019 Brochure of Membership Carlos Antonio De Bourbon-Montenegro / Boek Gebonden (paperback)
common.buy 44.05 €
Where's Grandma's Keys Nadine Burr / Boek Gebonden (harde band)
common.buy 27.34 €
YOUNG STARS 2ºPRIMARIA. WORKBOOK +CD 2019 H.Q. Mitchell / Boek Gebonden (paperback)
common.buy 25.61 €
Leave It to Abigail! Elizabeth Baddeley / Boek Gebonden (harde band)
common.buy 17.21 €
Real Deal Faisal Susiwala / Boek Gebonden (paperback)
common.buy 15.39 €
Man of Honour Tyrone Heydenrych / Boek Gebonden (paperback)
common.buy 19.23 €
Be a Better Manager in a Week: Teach Yourself Rus Slater / Boek Gebonden (paperback)
common.buy 17.92 €
Hunting and Fishing in a Kammu Village Damrong Tayanin / Boek Gebonden (harde band)
common.buy 37.87 €

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?