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
60.95 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Wohin und Womit Michael Heßhaus / Boek Gebonden (harde band)
common.buy 44.57 €
Innover avec les acteurs du monde rural Hocdé / Boek Gebonden (paperback)
common.buy 31.23 €
Alí i Ramboline VALENTI GUBIANAS / Boek Gebonden (harde band)
common.buy 15.05 €
Ann'es D'Extermination. L'Allemagne Nazie Et Les Juifs (1939-1945)(Les) T2 Pierre-Emmanuel Dauzat / Boek Gebonden (paperback)
common.buy 16.67 €
Textos de derecho internacional público Bermejo García / Boek Gebonden (paperback)
common.buy 29.41 €
Simulation de la collaboration Homme - Machine Mustapha Belfahli / Boek Gebonden (paperback)
common.buy 32.04 €
Pioneiras da ciencia en Galicia MANUEL REY PAN / Boek Gebonden (paperback)
common.buy 24.25 €
Épîtres Maïmonide / Boek Gebonden (paperback)
common.buy 15.76 €
MARIA-MERCE MARÇAL. PETITS POEMES MARÇAL / Boek Gebonden (harde band)
common.buy 15.96 €
Vaillants Soldats Desplantes-F / Boek Gebonden (paperback)
common.buy 17.98 €
ALLENDE Y EL MUSEO DEL SUICIDIO DORFMAN / Boek Gebonden (paperback)
common.buy 24.66 €
Christiana Albertina Präsidium der Christian-Albrechts-Universität zu Kiel / Boek Gebonden (paperback)
common.buy 27.18 €
Chants du cauchemar et de la nuit Ligotti / Boek Gebonden (paperback)
common.buy 12.63 €
TOP
L'oracle des échos oniriques Luna Ravenheart / Boek Gebonden (paperback)
common.buy 30.72 €
Chiaroscuro. Interpretazione di un delitto Simone Carbone / Boek Gebonden (paperback)
common.buy 29.81 €
The Autumn Stone Small Faces Audio Audio cd
common.buy 23.04 €
(2 ED.) MONTE PERDIDO Y GAVARNIE - MAPAS PIRENAIC Lopez Calleja / Boek Gebonden (paperback)
common.buy 17.48 €
UNO SIEMPRE CAMBIA AL AMOR DE SU VIDA AMALIA ANDRADE ARANGO / Boek Gebonden (harde band)
common.buy 15.86 €
Deep Blue Sea 2, 1 Blu-ray Michael Trent / Video Blu-ray
common.buy 14.75 €
Vuosikertomus Werner Aspenström / Boek Gebonden (paperback)
common.buy 26.27 €
La correspondencia de Benito Arias Montano con el presidente de Indias Juan de Ovando Baldomero Macías Rosendo / Boek Gebonden (paperback)
common.buy 22.94 €
Unas tardes con Shakespeare Praz / Boek Gebonden (paperback)
common.buy 20.31 €
Zahlen fur ein erfolgreiches Business Grigori Grabovoi / Boek Gebonden (paperback)
common.buy 26.78 €
Poeta En Nueva York Federico García Lorca / Boek Gebonden (paperback)
common.buy 10.60 €

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

Case-Based Reasoning Research and Development Lorraine McGinty / Boek Gebonden (paperback)
common.buy 51.65 €
Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Boek Gebonden (harde band)
common.buy 513.45 €
Heating versus Cooling in Galaxies and Clusters of Galaxies H. Böhringer / Boek Gebonden (harde band)
common.buy 51.65 €
Amderesta The 4th Republic #3. The Colonization Daniel Zazitski / Boek Gebonden (paperback)
common.buy 14.85 €
If I Was Your Hamster Angelia Smith / Boek Gebonden (paperback)
common.buy 10.10 €
Graffiti and Street Art Konstantinos Avramidis / Boek Gebonden (paperback)
common.buy 69.95 €
How To Love Yourself 100% Htebooks / Boek Gebonden (paperback)
common.buy 8.58 €
Echoes and Ashes Terrell Washington Anansi / Boek Gebonden (paperback)
common.buy 8.58 €
Sentiments of a Long Stemmed Rose: Poetic Reflections from Scenes of My Life Betty W Johnson / Boek Gebonden (paperback)
common.buy 15.76 €
Comparative Effectiveness of Smoking Cessation Treatments for Patients With Depression: A Systematic Review and Meta-analysis of the Evidence U S Department of Veterans Affairs / Boek Gebonden (paperback)
common.buy 19.30 €
His Royal Highness the Comte de Paris William Cox / Boek Gebonden (paperback)
common.buy 11.72 €
Japanese Dolls: The Fascinating World of Ningyo Alan Scott Pate / Boek Gebonden (harde band)
common.buy 59.64 €
complete work of Rembrandt Wilhelm Von Bode / Boek Gebonden (paperback)
common.buy 28.50 €
Poetry and Psychoanalysis David Shaddock / Boek Gebonden (paperback)
common.buy 52.36 €
Poets and Dreamers; Studies and Translations from the Irish Lady Gregory / Boek Gebonden (harde band)
common.buy 33.55 €
Little Owl's Snow Divya Srinivasan / Boek Gebonden (harde band)
common.buy 15.05 €
In the Ravine & Other Stories Anton Chekhov / Boek Gebonden (harde band)
common.buy 12.02 €
Be a Better Manager in a Week: Teach Yourself Rus Slater / Boek Gebonden (paperback)
common.buy 17.88 €
Sanctus Illuminatus, 2019 Brochure of Membership Carlos Antonio De Bourbon-Montenegro / Boek Gebonden (paperback)
common.buy 43.97 €
YOUNG STARS 2ºPRIMARIA. WORKBOOK +CD 2019 H.Q. Mitchell / Boek Gebonden (paperback)
common.buy 23.14 €
Leave It to Abigail! Elizabeth Baddeley / Boek Gebonden (harde band)
common.buy 17.58 €
Man of Honour Tyrone Heydenrych / Boek Gebonden (paperback)
common.buy 19.20 €
Real Deal Faisal Susiwala / Boek Gebonden (paperback)
common.buy 15.36 €
Where's Grandma's Keys Nadine Burr / Boek Gebonden (harde band)
common.buy 27.29 €

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?