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 Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

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
572.73 lei
În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

La Promessa - 4 Steffen Jacobsen / E-book Adobe ePub DRM
common.buy 31.81 lei
DENTES DE DRAGÇO CRICHTON / Carte Carte
common.buy 132.73 lei
Organizzazione, compiti e mansioni dell'Agenzia di Intelligence e Sicurezza Sinisa Djukic / Carte Carte broșată
common.buy 199.21 lei
Vodní omalovánky - Pohádky Barbara Wierzchowska / Carte Carte broșată
common.buy 8.89 lei
Cose Da Fare E Da Non Fare E Miti E Fatti Sul Covid-19 Rameshwar Pandey / Carte Carte broșată
common.buy 199.21 lei
Eleanor & Park Rainbow Rowell / Carte Copertă tare
common.buy 80.70 lei
Sančo a Jasno na cestách Vladimír Pospíšil / Carte Carte broșată
common.buy 22.71 lei
Bis Zum Letzten Mann: Wiens Verteidiger Im Würgegriff Der Türken Martin Ostheim / Carte Carte broșată
common.buy 72.33 lei
EL GATO QUE REGALABA SONRISAS RACHEL WELLS / Carte Carte broșată
common.buy 93.06 lei
Oeuvres Completes. Tome 28 QUINET-E / Carte Carte broșată
common.buy 139.12 lei
Elektrická násobilka společenská hra na baterie v krabici / Joc / Jucărie Joc
common.buy 85.42 lei
Sternstunden Religion 7/8 Wolfgang Rieß / Carte Foaie
common.buy 158.28 lei
3. Schuljahr, Das Arbeitsheft Wolfgang Menzel / Carte Foaie
common.buy 68.04 lei
Mujeres en flagante delito de independencia Gail Pheterson / Carte Carte broșată
common.buy 96.09 lei
Handbuch Sponsoring Ariane Bagusat / Carte Copertă tare
common.buy 361.06 lei
Praxis Didactica Desde El Enfoque Geohistorico Sayago Aura / Carte Carte broșată
common.buy 145.19 lei
L'intelligence des visions de l'apocalypse Frederic Philibert / Carte Copertă tare
common.buy 198.79 lei
Les Enigmes de Charles-Quint, Proverbe Historique Josephine-Marie De Gaulle / Carte Carte broșată
common.buy 65.63 lei
Le Bilan de la Republique: Avis Aux Habitants Des Campagnes (2e Edition) Mariotte-A-P-J / Carte Carte broșată
common.buy 71.70 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

Magnetic Resonance Imaging of the Bone Marrow Andrea Baur-Melnyk / Carte Carte broșată
common.buy 868.58 lei
Configuring Sales and Distribution in SAP ERP Ricardo Lopez / Carte Copertă tare
common.buy 419.47 lei
Christian Missions and Social Progress; A Sociological Study of Foreign Missions James S 1842-1914 Dennis / Carte Copertă tare
common.buy 279.71 lei
Identity Crises and Indigenous Religious Traditions OBINNA / Carte Copertă tare
common.buy 1 345.95 lei
Asia Alexis Roumanis / Carte Copertă tare
common.buy 145.40 lei
Longing for Darkness: Tara and the Black Madonna; A Ten-Year Journey China Galland / Carte Carte broșată
common.buy 149.06 lei
Jews of Springfield in the Ozarks Mara W. Cohen Ioannides / Carte Carte broșată
common.buy 110.12 lei
Dictionary of Literary Biography: Japanese Fiction Writers Since WW II Van C. Gessel / Carte Copertă tare
common.buy 3 293.87 lei
Eugene O'Neill - American Writers 45: University of Minnesota Pamphlets on American Writers John Gassner / Carte Carte broșată
common.buy 164.35 lei
Magnetic Properties of Paramagnetic Compounds R. T. Pardasani / Carte Copertă tare
common.buy 4 096.82 lei
Cause, Cure, and Cancer Free: How I Became a Cancer Escapee John Marra / Carte Carte broșată
common.buy 67.30 lei
iGlobal Math, Grade 4 Texas Edition: Power Practice for School, Home, and Tutoring Iglobal Educational Services / Carte Carte broșată
common.buy 67.30 lei
Top
You Read To Me, I'll Read To You Mary Ann Hoberman / Carte Carte broșată
common.buy 43.12 lei
Memorabilia Xenophon / Carte Carte broșată
common.buy 114.83 lei
Anne Frank: Out of the Shadows Anna Leigh / Carte Copertă tare
common.buy 204.23 lei
Papers on Art J. Comyns Carr / Carte Copertă tare
common.buy 180.05 lei
Sepher Yetzirah Abraham / Carte Carte broșată
common.buy 92.22 lei
ABC Book: Ideal /Easy Colouring and Tracing Letters Workbook for Kids Priscilla S. Anderson / Carte Carte broșată
common.buy 41.86 lei
Renewable Energy and Energy Efficiency Aidan Duffy / E-book Adobe ePub DRM
common.buy 333.10 lei
Hansel and Gretel Jacob and Wilhelm Grimm / E-book Adobe ePub DRM
common.buy 79.13 lei
Black Caesars and Foxy Cleopatras: A History of Blaxploitation Cinema Henderson / Carte Copertă tare
common.buy 101.33 lei
Brainstorm: Outdoor Adventure Mikroskop / Joc / Jucărie Jucărie
common.buy 84.37 lei
The Beatles 1967 - 1970 (Blue Album 2CD) The Beatles / Audio Audio CD
common.buy 153.04 lei
Modern Islamic Investment Management Mohd Ma'Sum Billah / E-book Adobe ePub DRM
common.buy 496.42 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?