Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Practical Formal Methods for Hardware Design

Limba englezăengleză
Carte Carte broșată
Carte Practical Formal Methods for Hardware Design Werner Damm
Codul Libristo: 06809562
Editura Springer, Berlin, noiembrie 2012
Formal methods for hardware design still find limited use in industry. Yet current practice has to c... Descrierea completă
? points 141 b
307.02 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Student Edition Chapter 5 Grade 1 2015 Houghton Mifflin Harcourt / Carte Carte broșată
common.buy 61.92 lei
Buchstaben schreiben lernen und üben / Carte Carte broșată
common.buy 41.07 lei
Wallensteintage in Stralsund 2022 Fremdenführer Oktan Palkowitsch / Carte Carte broșată
common.buy 100.07 lei
Les métiers des technologies de l'information GINIES / Carte Carte broșată
common.buy 113.73 lei
Apprendre à comprendre dès l'école maternelle GFEN / Carte Carte broșată
common.buy 101.64 lei
Giù la maschera Erika Torre / Carte Carte broșată
common.buy 74.01 lei
La aventura de los números 2 Díez Torío Ana María / Carte Carte broșată
common.buy 52.53 lei
LA LÓGICA DE HEGEL EDGAR MARAGUAT / Carte Carte broșată
common.buy 106.33 lei
Manual Washington de medicina interna hospitalaria Thomas Ciesielski / Carte Carte broșată
common.buy 388.45 lei
Paiement Pour Les Services Environnementaux En Centrafrique Ngombala Samba Zanre / Carte Carte broșată
common.buy 144.59 lei
Asci-Mi David Sarramia / Carte Carte broșată
common.buy 523.87 lei
Dissexualitat im Lebenslangsschnitt Klaus M. Beier / Carte Carte broșată
common.buy 400.33 lei
Mittsommernachtstexte Kurt Lehmkuhl / Carte Copertă tare
common.buy 95.28 lei
Grundzüge der Agrargeschichte (Band 1-3); . Stefan Brakensiek / Carte Copertă tare
common.buy 444.22 lei
Chinesische Zungendiagnose aus einer anderen Perspektive Gaetano Cammilleri / Carte Copertă tare
common.buy 391.26 lei

Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal methods in hardware verification) which involved the collaboration of the enterprises Siemens, Italtel, Telefonica I+D, TGI, and AHL, the research institute OFFIS, and the universities of Madrid and Passau. The work presented involves advanced specification languages for hardware design that are intuitive to the designer, like timing diagrams and state based languages, as well as their relation to VHDL and formal languages like temporal logic and a process-algebraic calculus. The results of experimental tests of the tools are also presented.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Practical Formal Methods for Hardware Design
Autor Werner Damm, Carlos Delgado Kloos
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 293
EAN 9783540620075
ISBN 3540620079
Codul Libristo 06809562
Editura Springer, Berlin
Greutatea 469
Dimensiuni 155 x 235 x 16

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Databases > Distributed databases
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer networking & communications
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Practical Remote Pair Programming Adrian Bolboaca / Carte Carte broșată
common.buy 190.15 lei
Top
First 100 Trucks and Things That Go Lift-the-Flap Nicola Friggens / Carte Cărți pliante
common.buy 49.72 lei
Quantities For Generalized Dosimetry Of Ionizing Radiations in Liquid Water D. E. Watt / Carte Copertă tare
common.buy 2 649.53 lei
Russia and the Cult of State Security Julie Fedor / Carte Carte broșată
common.buy 384.07 lei
Moral Force Chartism. Colin Skelly / Carte Carte broșată
common.buy 419.62 lei
Malaria Immunopathology Maritza Jaramillo / Carte Carte broșată
common.buy 362.17 lei
Educating Adolescents Around the Globe Meike Watzlawik / Carte Carte broșată
common.buy 570.37 lei
Popular History of England. Charles Knight / Carte Carte broșată
common.buy 169.09 lei
Aus Der Paulskirche. Berichte an Den Schwabischen Merkur Aus Den Jahren 1848 Und 1849 ... Herausgegeben Von H. R. Schafer. H Schaefer / Carte Carte broșată
common.buy 123.95 lei
Prosperity The Fruit of Challenge Paul Ottley / Carte Copertă tare
common.buy 179.31 lei
Top
Winnie-The-Pooh A. A. Milne / Carte Carte broșată
common.buy 42.94 lei
Splendor of Faith Avery Dulles / Carte Carte broșată
common.buy 163.88 lei
The Aviation History of Greater Riverside Marge Bitetti / Carte Carte broșată
common.buy 97.47 lei
Transforming Your Business with AWS - Getting the Most Out of Using AWS to Modernize and Innovate Your Digital Services Philippe Abdoulaye / Carte Carte broșată
common.buy 170.24 lei
The Pecos Trail Edward Love Johnson / Carte Carte broșată
common.buy 52.12 lei
If I Can Move Mountains, I Can Move Rainbows Shirley M Richards / Carte Carte broșată
common.buy 57.12 lei
Sorrento Travel Guide: What to Do & Where to Go Gillian Russell / Carte Carte broșată
common.buy 46.90 lei
Love and Hate: Love N Hate Marty J / Carte Carte broșată
common.buy 82.04 lei
Peace Comes To Ajani: Team Indomitable Spirit Keith Kelly / Carte Carte broșată
common.buy 82.04 lei
Advanced Green Materials Shakeel Ahmed / Carte Carte broșată
common.buy 1 552.98 lei
Computational Aspects of the Study of Biological Macromolecules by Nuclear Magnetic Resonance Spectroscopy Jeffrey C. Hoch / Carte Copertă tare
common.buy 1 138.98 lei
Phenomenological Inquiry in Psychology Ron Valle / Carte Copertă tare
common.buy 1 042.54 lei
Multiple Bonds between Metal Atoms Frank A. Cotton / Carte Copertă tare
common.buy 1 515.65 lei
Elements of Hypermedia Design: Techniques for Navigation and Visualization in Cyberspace Peter Gloor / Carte Carte broșată
common.buy 285.96 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?