[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Correct Hardware Design and Verification Methods

Langue AnglaisAnglais
Livre Livre de poche
Livre Correct Hardware Design and Verification Methods Tiziana Margaria
Code Libristo: 01563746
Éditeurs Springer, Berlin, novembre 2000
This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Co... Description détaillée
? points 161 b
68.07 € včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

Boží oko James Rollins / Livre relié
common.buy 11.23 €
O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák / Livre
common.buy 6.95 €
Peripetie české ekonomiky a měny Stanislava Janáčková / Livre de poche
common.buy 5.02 €
Mammals of South America Rexford D Lord / Livre relié
common.buy 75.24 €
Pražský chodec proti tankům Jiří Všetečka / Livre
common.buy 5.23 €
Juan Ramón Jiménez, 1896-1958 José Carlos Mainer Baqué / Livre de poche
common.buy 65.29 €
Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter / Livre de poche
common.buy 106.94 €
Regierungskommunikation in Deutschland Jana Heinze / Livre de poche
common.buy 50.30 €
Universität und wissenschaftliches Wissen Eva Eirmbter-Stolbrink / Livre de poche
common.buy 42.82 €
Love Lessons Alda Merini / Livre de poche
common.buy 27.82 €
Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Zhicai Zhong / Livre relié
common.buy 590.01 €
Manual of Lunacy Lyttleton Stewart Forbes WinslowForbes Winslow / Livre de poche
common.buy 73.31 €
Evaluation in Decision Making Naftaly S. Glasman / Livre relié
common.buy 134.22 €
Todeszauber im Klassenzimmer Wilhelm Rossi / Livre de poche
common.buy 21.30 €
Einleitung, UEberlieferung Horst Brunner / Livre relié
common.buy 192.62 €
Media Impact Biagi / Livre de poche
common.buy 134.76 €

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.

À propos du livre

Nom complet Correct Hardware Design and Verification Methods
Auteur Tiziana Margaria, Tom Melham
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2001
Nombre de pages 488
EAN 9783540425410
ISBN 3540425411
Code Libristo 01563746
Éditeurs Springer, Berlin
Poids 699
Dimensions 155 x 235 x 25

Catégories

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
Informatique et technologies de l’information > Matériel informatique
Informatique et technologies de l’information > Systèmes d’exploitation
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

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