Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Correct Hardware Design and Verification Methods

Name: Correct Hardware Design and Verification Methods
Brand: Springer, Berlin
SKU: 01563746
Price: 53.79 EUR
Availability: InStock
Author: Tiziana Margaria
ISBN: 9783540425410

11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

Tiziana Margaria

Tom Melham

Lingua

Inglese

Libro In brossura

Codice Libristo: 01563746

Casa editrice Springer, Berlin, novembre 2000

This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Co... Descrizione completa

Codice Libristo: 01563746

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Kerberos in the Silver Rain AIKAWA

In brossura

15.19 €

GRANDMASTER OF DEMONIC 05 Mo Xiang Tong Xiu

Libro

15.69 €

La pédagogie Montessori

In brossura

6.39 €

Johannes R. Bechers Publizistik in der Sowjetunion, 1935?1945 Simone Barck

Rigido

123.99 €

Zamalowane okna Anna Limanowicz

Rigido

10.29 €

La MLS (Mls) Annie Evearts

In brossura

12.09 €

Begegnung am Donnerstag

In brossura

26.49 €

Mimo wszystko Polak

MP3

8.29 €

Pražský chodec proti tankům Jiří Všetečka

Libro

7.29 €

Collection Des Principaux Cartulaires Du Diocese de Troyes. 2 (Ed.1875-1890) Charles Lalore

In brossura

30.19 €

Peripetie české ekonomiky a měny Stanislava Janáčková

In brossura

6.29 €

O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák

Libro

8.59 €

Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter

In brossura

109.99 €

Regierungskommunikation in Deutschland Jana Heinze

In brossura

67.89 €

Todeszauber im Klassenzimmer Wilhelm Rossi

In brossura

21.49 €

Musik zur Weihnachtsgeschichte nach dem Lukasevangelium (Kap.2,1-20) Ragnhild Fehling

In brossura

9.49 €

Universität und wissenschaftliches Wissen Eva Eirmbter-Stolbrink

In brossura

42.19 €

Harcèlement sexuel au bureau - moi, je témoigne MARRA

In brossura

30.69 €

Einleitung, UEberlieferung Horst Brunner

Rigido

196.19 €

Juan Ramón Jiménez, 1896-1958 José Carlos Mainer Baqué

In brossura

60.59 €

108 miradas : del lado de fuera y del lado de dentro

In brossura

29.19 €

Mondjunge Viktoria Weber

In brossura

15.49 €

Les Contours De L'Amour Jean Daniel Francois M D

In brossura

14.49 €

Zamilované písničky ze 60 let interpreti Různí

CD audio

2.89 €

This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2001, held in Livingston, Scotland, UK in September 2001.The 28 revised full papers and eight short papers presented together with two invited papers and one special paper were carefully reviewed and selected from 56 submissions. The book offers topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Correct Hardware Design and Verification Methods

Autore Tiziana Margaria, Tom Melham

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2001

Numero di pagine 488

EAN 9783540425410

ISBN 3540425411

Codice Libristo 01563746

Casa editrice Springer, Berlin

Peso 699

Dimensioni 155 x 235 x 25

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Progettazione e analisi di sistemi

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Hardware informatico

Informatica e Tecnologia dell’Informazione > Sistemi operativi

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Search for Solvency Alfred E. Eckes

In brossura

42.39 €

A Journey To St. Petersburg And Moscow Through Courland And Livonia Leitch Ritchie

In brossura

29.59 €

The Pong-pendium: A Compilation of Little Stinkers Including their Pongs, Wrongs andSongs Robin Dry

In brossura

10.69 €

Conquering My Nemesis Hekkie Van Der Westhuizen

In brossura

14.29 €

Chironomidae Larvae, Vol. 2: Chironomini: Biology and Ecology of the Chironomini H. K. M. Moller Pillot

Rigido

115.09 €

International Code of Botanical Nomenclature: Adopted by the Seventh International Botanical Congress, Stockholm, July 1950 International Botanical Congress (7th

Rigido

33.69 €