Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Methods for Hardware Verification Marco Bernardo
Code Libristo: 01562083
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2006
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th editio... Description détaillée
? points 148 b
60.39 € TVA incluse
Stockage externe en petites quantités Expédition sous 13-18 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Intelektuálové a masy John Carey / Livre Livre de poche
common.buy 15.09 €
Poeta En Nueva York Federico García Lorca / Livre Livre de poche
common.buy 12.29 €
Grundfragen der Anstiftung. Marios Nikolidakis / Livre Livre de poche
common.buy 88.19 €
Innover avec les acteurs du monde rural Hocdé / Livre Livre de poche
common.buy 32.39 €
Alí i Ramboline VALENTI GUBIANAS / Livre Livre relié
common.buy 14.89 €
Ann'es D'Extermination. L'Allemagne Nazie Et Les Juifs (1939-1945)(Les) T2 Pierre-Emmanuel Dauzat / Livre Livre de poche
common.buy 17.39 €
Pioneiras da ciencia en Galicia MANUEL REY PAN / Livre Livre de poche
common.buy 27.59 €
MARIA-MERCE MARÇAL. PETITS POEMES MARÇAL / Livre Livre relié
common.buy 15.79 €
Vaillants Soldats Desplantes-F / Livre Livre de poche
common.buy 18.79 €
ALLENDE Y EL MUSEO DEL SUICIDIO DORFMAN / Livre Livre de poche
common.buy 24.79 €
Christiana Albertina Präsidium der Christian-Albrechts-Universität zu Kiel / Livre Livre de poche
common.buy 26.99 €
Chants du cauchemar et de la nuit Ligotti / Livre Livre de poche
common.buy 13.19 €
L'oracle des échos oniriques Luna Ravenheart / Livre Livre de poche
common.buy 31.89 €
Chiaroscuro. Interpretazione di un delitto Simone Carbone / Livre Livre de poche
common.buy 21.29 €
The Autumn Stone Small Faces Audio CD Audio
common.buy 22.79 €
Unas tardes con Shakespeare Praz / Livre Livre de poche
common.buy 23.19 €
Kapřík Metlík ve sportovním rybníku Jan Opatřil / Livre Livre relié
common.buy 7.39 €
Deep Blue Sea 2, 1 Blu-ray Michael Trent / Video Blu-ray
common.buy 15.39 €
Simulation de la collaboration Homme - Machine Mustapha Belfahli / Livre Livre de poche
common.buy 33.59 €
99 Sayfada Tüp Bebek Bülent Gülekli / Livre Livre de poche
common.buy 8.59 €
Zahlen fur ein erfolgreiches Business Grigori Grabovoi / Livre Livre de poche
common.buy 29.90 €
La correspondencia de Benito Arias Montano con el presidente de Indias Juan de Ovando Baldomero Macías Rosendo / Livre Livre de poche
common.buy 26.09 €
(2 ED.) MONTE PERDIDO Y GAVARNIE - MAPAS PIRENAIC Lopez Calleja / Livre Livre de poche
common.buy 18.29 €
2984 Utta Kaiser-Plessow / Livre Livre de poche
common.buy 12.00 €

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 & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Formal Methods for Hardware Verification
Auteur Marco Bernardo, Alessandro Cimatti
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2006
Nombre de pages 244
EAN 9783540343042
ISBN 3540343040
Code Libristo 01562083
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 800
Dimensions 155 x 235 x 17

Catégories

Informatique et technologies de l’information > Informatique > Intelligence artificielle > Systèmes experts / bases de connaissances
Informatique et technologies de l’information > Matériel informatique > Equipement de réseau
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Analyse et conception de systèmes
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Case-Based Reasoning Research and Development Lorraine McGinty / Livre Livre de poche
common.buy 53.79 €
Heating versus Cooling in Galaxies and Clusters of Galaxies H. Böhringer / Livre Livre relié
common.buy 53.79 €
Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Livre Livre relié
common.buy 535.39 €
In the Ravine & Other Stories Anton Chekhov / Livre Livre relié
common.buy 12.39 €
YOUNG STARS 2ºPRIMARIA. WORKBOOK +CD 2019 H.Q. Mitchell / Livre Livre de poche
common.buy 26.29 €
Little Owl's Snow Divya Srinivasan / Livre Livre relié
common.buy 15.79 €
If I Was Your Hamster Angelia Smith / Livre Livre de poche
common.buy 10.49 €
Graffiti and Street Art Konstantinos Avramidis / Livre Livre de poche
common.buy 72.29 €
How To Love Yourself 100% Htebooks / Livre Livre de poche
common.buy 8.89 €
Echoes and Ashes Terrell Washington Anansi / Livre Livre de poche
common.buy 8.89 €
His Royal Highness the Comte de Paris William Cox / Livre Livre de poche
common.buy 12.29 €
complete work of Rembrandt Wilhelm Von Bode / Livre Livre de poche
common.buy 29.89 €
Poets and Dreamers; Studies and Translations from the Irish Lady Gregory / Livre Livre relié
common.buy 34.79 €
Sanctus Illuminatus, 2019 Brochure of Membership Carlos Antonio De Bourbon-Montenegro / Livre Livre de poche
common.buy 45.59 €
Be a Better Manager in a Week: Teach Yourself Rus Slater / Livre Livre de poche
common.buy 18.39 €
Leave It to Abigail! Elizabeth Baddeley / Livre Livre relié
common.buy 18.39 €
Man of Honour Tyrone Heydenrych / Livre Livre de poche
common.buy 19.99 €
Real Deal Faisal Susiwala / Livre Livre de poche
common.buy 15.99 €
Where's Grandma's Keys Nadine Burr / Livre Livre relié
common.buy 28.19 €
Info Buzz: Early Britons: Vikings Stephen White-Thomson / Livre Livre de poche
common.buy 10.89 €
Montreal at War, 1914-1918 Terry Copp / Livre Livre de poche
common.buy 31.69 €
Abordable
Pippa and Pop Level 1 Activity Book British English Colin Sage / Livre Livre de poche
common.buy 6.79 €
The Servant's Prosperity: The True Purpose of Prosperity Timothy Campbell / Livre Livre de poche
common.buy 10.69 €
Kingdom of Blood and Salt Alexis Calder / Livre Livre de poche
common.buy 12.69 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?