«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

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

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods for Hardware Verification Marco Bernardo
Código Libristo: 01562083
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mayo 2006
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th editio... Descripción completa
? points 148 b
60.39 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Política de devolución de 30 días

Clientes que también han comprado

The Autumn Stone Small Faces Audio CD de audio
common.buy 23.29 €
MARIA-MERCE MARÇAL. PETITS POEMES MARÇAL / Libro Tapa dura
common.buy 16.09 €
Intelektuálové a masy John Carey / Libro Tapa blanda
common.buy 15.39 €
Pioneiras da ciencia en Galicia MANUEL REY PAN / Libro Tapa blanda
common.buy 26.99 €
Chiaroscuro. Interpretazione di un delitto Simone Carbone / Libro Tapa blanda
common.buy 21.69 €
L'oracle des échos oniriques Luna Ravenheart / Libro Tapa blanda
common.buy 31.09 €
Chants du cauchemar et de la nuit Ligotti / Libro Tapa blanda
common.buy 12.89 €
Christiana Albertina Präsidium der Christian-Albrechts-Universität zu Kiel / Libro Tapa blanda
common.buy 27.49 €
ALLENDE Y EL MUSEO DEL SUICIDIO DORFMAN / Libro Tapa blanda
common.buy 26.19 €
Innover avec les acteurs du monde rural Hocdé / Libro Tapa blanda
common.buy 31.69 €
Alí i Ramboline VALENTI GUBIANAS / Libro Tapa dura
common.buy 15.19 €
La correspondencia de Benito Arias Montano con el presidente de Indias Juan de Ovando Baldomero Macías Rosendo / Libro Tapa blanda
common.buy 24.39 €
Grundfragen der Anstiftung. Marios Nikolidakis / Libro Tapa blanda
common.buy 78.79 €
Wie der König seinen Feind verlor Jorge Bucay / Libro Tapa dura
common.buy 14.49 €
Gormenghast. Band 2 Mervyn Peake / Libro Tapa dura
common.buy 21.69 €
Herrschaftsorganisation und Herrschaftspraxis im anglonormannischen Reich unter Wilhelm I. Joachim von Meien / Libro Tapa blanda
common.buy 17.89 €
Finale in Sudafrika Stephanie Howe / Libro Tapa blanda
common.buy 19.79 €
2984 Utta Kaiser-Plessow / Libro Tapa blanda
common.buy 12.09 €
Zahlen fur ein erfolgreiches Business Grigori Grabovoi / Libro Tapa blanda
common.buy 29.59 €
Vaillants Soldats Desplantes-F / Libro Tapa blanda
common.buy 19.99 €
Poeta En Nueva York Federico García Lorca / Libro Tapa blanda
common.buy 18.29 €
Unas tardes con Shakespeare Praz / Libro Tapa blanda
common.buy 21.69 €
Будапэшт Kolozsvári Ildikó / Libro Hoja
common.buy 9.39 €
99 Sayfada Tüp Bebek Bülent Gülekli / Libro Tapa blanda
common.buy 8.99 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Formal Methods for Hardware Verification
Autor Marco Bernardo, Alessandro Cimatti
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2006
Número de páginas 244
EAN 9783540343042
ISBN 3540343040
Código Libristo 01562083
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 800
Dimensiones 155 x 235 x 17

Categorías

Computación e informática > Ciencias de la computación > Inteligencia artificial > Sistemas expertos/sistemas basados en el conocimiento
Computación e informática > Hardware (o soporte físico del ordenador) > Hardware de redes
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Análisis y diseño de sistemas
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Libro Tapa dura
common.buy 562.99 €
Heating versus Cooling in Galaxies and Clusters of Galaxies H. Böhringer / Libro Tapa dura
common.buy 56.59 €
Case-Based Reasoning Research and Development Lorraine McGinty / Libro Tapa blanda
common.buy 56.59 €
Conquest Andrea Smith / Libro Tapa blanda
common.buy 27.39 €
Poets and Dreamers; Studies and Translations from the Irish Lady Gregory / Libro Tapa dura
common.buy 34.79 €
complete work of Rembrandt Wilhelm Von Bode / Libro Tapa blanda
common.buy 31.49 €
The Servant's Prosperity: The True Purpose of Prosperity Timothy Campbell / Libro Tapa blanda
common.buy 10.69 €
Pippa and Pop Level 1 Activity Book British English Colin Sage / Libro Tapa blanda
common.buy 9.89 €
Montreal at War, 1914-1918 Terry Copp / Libro Tapa blanda
common.buy 31.69 €
Echoes and Ashes Terrell Washington Anansi / Libro Tapa blanda
common.buy 8.89 €
How To Love Yourself 100% Htebooks / Libro Tapa blanda
common.buy 8.89 €
Info Buzz: Early Britons: Vikings Stephen White-Thomson / Libro Tapa blanda
common.buy 10.49 €
Graffiti and Street Art Konstantinos Avramidis / Libro Tapa blanda
common.buy 72.29 €
If I Was Your Hamster Angelia Smith / Libro Tapa blanda
common.buy 10.49 €
Little Owl's Snow Divya Srinivasan / Libro Tapa dura
common.buy 15.79 €
In the Ravine & Other Stories Anton Chekhov / Libro Tapa dura
common.buy 12.59 €
Sanctus Illuminatus, 2019 Brochure of Membership Carlos Antonio De Bourbon-Montenegro / Libro Tapa blanda
common.buy 45.59 €
Where's Grandma's Keys Nadine Burr / Libro Tapa dura
common.buy 28.19 €
YOUNG STARS 2ºPRIMARIA. WORKBOOK +CD 2019 H.Q. Mitchell / Libro Tapa blanda
common.buy 25.69 €
Leave It to Abigail! Elizabeth Baddeley / Libro Tapa dura
common.buy 18.89 €
Real Deal Faisal Susiwala / Libro Tapa blanda
common.buy 15.99 €
Man of Honour Tyrone Heydenrych / Libro Tapa blanda
common.buy 19.99 €
Be a Better Manager in a Week: Teach Yourself Rus Slater / Libro Tapa blanda
common.buy 18.39 €
Hunting and Fishing in a Kammu Village Damrong Tayanin / Libro Tapa dura
common.buy 39.69 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?