Kód: 01397588

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Name: Formal Semantics and Proof Techniques for Optimizing VHDL Models
Brand: Springer
SKU: 01397588
Price: 103.10 EUR
Availability: InStock
Author: Kothanda Umamageswaran
ISBN: 9780792383758

Autor Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey

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 ... celý popis

Jazyk: Angličtina
Väzba: Pevná
Počet strán: 158
Nakladateľ: Springer, 1998
Viac informácií o knihe

103.10 €

Bežne: 111.73 €

Ušetríte 8.64 €

Skladom u dodávateľa
Odosielame za 10 - 13 dní

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Sepher Yetzirah
15.79 € -7 %
Kúpiť
Black Caesars and Foxy Cleopatras: A History of Blaxploitation Cinema
19.64 € -26 %
Kúpiť
Elektrická násobilka společenská hra na baterie v krabici
13.16 € -36 %
Kúpiť
You Read To Me, I'll Read To You
7.28 € -24 %
Kúpiť
Vodní omalovánky - Pohádky
1.61 € -20 %
Kúpiť
Plato Opera Vol. II
37.36 €
Kúpiť
Longing for Darkness: Tara and the Black Madonna; A Ten-Year Journey
25.21 € -18 %
Kúpiť
Wool Embroidery Collection
16.09 € -24 %
Kúpiť
Eleanor & Park
14.37 € -16 %
Kúpiť
Sančo a Jasno na cestách
4.14 € -15 %
Kúpiť
Wells Cathedral - English
6.67 € -24 %
Predobjednať
Notes from Underground
12.14 € -1 %
Kúpiť
3. Schuljahr, Das Arbeitsheft
13.26 €
Kúpiť
EL GATO QUE REGALABA SONRISAS
16.70 € -9 %
Kúpiť
Magnetic Resonance Imaging of the Bone Marrow
156.17 € -9 %
Kúpiť
Marriage at the Crossroads
108.36 €
Kúpiť
Christian Missions and Social Progress; A Sociological Study of Foreign Missions
48.20 € -1 %
Kúpiť
American Privateer
15.49 € -25 %
Kúpiť
Asia
25.61 € -9 %
Kúpiť
Magnetic Properties of Paramagnetic Compounds
746.34 €
Kúpiť
Praxis Didactica Desde El Enfoque Geohistorico
26.02 € -14 %
Kúpiť
Cause, Cure, and Cancer Free: How I Became a Cancer Escapee
11.54 € -7 %
Kúpiť
"Escape"
18.42 €
Kúpiť
Dictionary of Literary Biography: Japanese Fiction Writers Since WW II
582.06 €
Kúpiť
Sternstunden Religion 7/8
28.45 € -6 %
Kúpiť
Les Enigmes de Charles-Quint, Proverbe Historique
13.06 € -1 %
Kúpiť
Eugene O'Neill - American Writers 45: University of Minnesota Pamphlets on American Writers
28.75 €
Kúpiť
L'intelligence des visions de l'apocalypse
34.22 € -2 %
Kúpiť
Media, Culture and Society in Malaysia
236.08 €
Kúpiť
Nonintervention and International Order
181.29 €
Kúpiť
Living Ideology in Cuba
100.97 €
Kúpiť
ABC Book: Ideal /Easy Colouring and Tracing Letters Workbook for Kids
7.18 € -6 %
Kúpiť
Psychological Meanings of Social Class in the Context of Education
47.90 €
Kúpiť
Logic Jam - Unlocking the Value of Information
20.35 €
Kúpiť
Organizzazione, compiti e mansioni dell'Agenzia di Intelligence e Sicurezza
35.74 € -14 %
Kúpiť

Darčekový poukaz: Radosť zaručená

Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
Poukaz sa vzťahuje na všetky produkty v našej ponuke.
Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
Platnosť poukazu je 12 mesiacov od dátumu vystavenia.

Objednať darčekový poukaz Viac informácií

Viac informácií o knihe Formal Semantics and Proof Techniques for Optimizing VHDL Models

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 249 bodov

Anotácia knihy

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Programming & scripting languages: general

103.10 €

Celý názov: Formal Semantics and Proof Techniques for Optimizing VHDL Models
Autor: Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey
Jazyk: Angličtina
Väzba: Pevná
Počet strán: 158
EAN: 9780792383758
ISBN: 0792383753
ID: 01397588
Nakladateľ: Springer
Hmotnosť: 970 g
Rozmery: 235 × 155 × 15 mm
Dátum vydania: 30. November 1998