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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 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.

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Limba englezăengleză
Carte Copertă tare
Carte Formal Semantics and Proof Techniques for Optimizing VHDL Models Kothanda Umamageswaran
Codul Libristo: 01397588
Editura Springer, noiembrie 1998
Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifyi... Descrierea completă
? points 263 b
569.26 lei
În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

EL GATO QUE REGALABA SONRISAS RACHEL WELLS / Carte Carte broșată
common.buy 92.49 lei
Elektrická násobilka společenská hra na baterie v krabici / Joc / Jucărie Joc
common.buy 93.64 lei
Cose Da Fare E Da Non Fare E Miti E Fatti Sul Covid-19 Rameshwar Pandey / Carte Carte broșată
common.buy 198.00 lei
Organizzazione, compiti e mansioni dell'Agenzia di Intelligence e Sicurezza Sinisa Djukic / Carte Carte broșată
common.buy 198.00 lei
Vodní omalovánky - Pohádky Barbara Wierzchowska / Carte Carte broșată
common.buy 8.83 lei
Mujeres en flagante delito de independencia Gail Pheterson / Carte Carte broșată
common.buy 96.03 lei
Sančo a Jasno na cestách Vladimír Pospíšil / Carte Carte broșată
common.buy 22.57 lei
Sternstunden Religion 7/8 Wolfgang Rieß / Carte Foaie
common.buy 157.32 lei
3. Schuljahr, Das Arbeitsheft Wolfgang Menzel / Carte Foaie
common.buy 69.08 lei
Les Enigmes de Charles-Quint, Proverbe Historique Josephine-Marie De Gaulle / Carte Carte broșată
common.buy 75.22 lei
Le Bilan de la Republique: Avis Aux Habitants Des Campagnes (2e Edition) Mariotte-A-P-J / Carte Carte broșată
common.buy 80.21 lei
Eleanor & Park Rainbow Rowell / Carte Copertă tare
common.buy 80.21 lei
L'intelligence des visions de l'apocalypse Frederic Philibert / Carte Copertă tare
common.buy 197.58 lei
Praxis Didactica Desde El Enfoque Geohistorico Sayago Aura / Carte Carte broșată
common.buy 144.31 lei

Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL.

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 Formal Semantics and Proof Techniques for Optimizing VHDL Models
Autor Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey
Limba engleză
Legare Carte - Copertă tare
Data publicării 1998
Număr pagini 158
EAN 9780792383758
ISBN 0792383753
Codul Libristo 01397588
Editura Springer
Greutatea 970
Dimensiuni 155 x 235 x 15

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer hardware
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

Eugene O'Neill - American Writers 45: University of Minnesota Pamphlets on American Writers John Gassner / Carte Carte broșată
common.buy 163.35 lei
American Privateer George C Richardson / Carte Copertă tare
common.buy 91.87 lei
"Escape" Laurie Read / Carte Carte broșată
common.buy 105.92 lei
Christian Missions and Social Progress; A Sociological Study of Foreign Missions James S 1842-1914 Dennis / Carte Copertă tare
common.buy 278.02 lei
You Read To Me, I'll Read To You Mary Ann Hoberman / Carte Carte broșată
common.buy 42.86 lei
Asia Alexis Roumanis / Carte Copertă tare
common.buy 141.92 lei
Longing for Darkness: Tara and the Black Madonna; A Ten-Year Journey China Galland / Carte Carte broșată
common.buy 148.16 lei
Dictionary of Literary Biography: Japanese Fiction Writers Since WW II Van C. Gessel / Carte Copertă tare
common.buy 3 204.79 lei
Notes from Underground Fyodor M Dostoevsky / Carte Carte broșată
common.buy 70.02 lei
Magnetic Properties of Paramagnetic Compounds R. T. Pardasani / Carte Copertă tare
common.buy 4 072.17 lei
Cause, Cure, and Cancer Free: How I Became a Cancer Escapee John Marra / Carte Carte broșată
common.buy 66.89 lei
Magnetic Resonance Imaging of the Bone Marrow Andrea Baur-Melnyk / Carte Carte broșată
common.buy 863.31 lei
Sepher Yetzirah Abraham / Carte Carte broșată
common.buy 91.66 lei
ABC Book: Ideal /Easy Colouring and Tracing Letters Workbook for Kids Priscilla S. Anderson / Carte Carte broșată
common.buy 41.61 lei
Black Caesars and Foxy Cleopatras: A History of Blaxploitation Cinema Henderson / Carte Copertă tare
common.buy 102.90 lei
Nonintervention and International Order R. J. Vincent / Carte Copertă tare
common.buy 992.23 lei
Wool Embroidery Collection Gail Rogers / Carte Carte broșată
common.buy 89.68 lei
Foreign Intervention in Africa Elizabeth Schmidt / Carte Carte broșată
common.buy 209.34 lei
Marriage at the Crossroads Marsha Garrison / Carte Copertă tare
common.buy 622.95 lei
Curând
Wells Cathedral - English Pitkin / Carte Carte broșată
common.buy 37.03 lei
Plato Opera Vol. II laton / Carte Copertă tare
common.buy 195.61 lei
Living Ideology in Cuba Katherine Gordy / Carte Copertă tare
common.buy 528.47 lei
Logic Jam - Unlocking the Value of Information Edward J. Morawski / Carte Carte broșată
common.buy 117.05 lei
Psychological Meanings of Social Class in the Context of Education Joan M. Ostrove / Carte Carte broșată
common.buy 288.01 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?