Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Semantics and Proof Techniques for Optimizing VHDL Models Kothanda Umamageswaran
Libristo-code: 06796876
Uitgeverij Springer-Verlag New York Inc., november 1998
Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifyi... Volledige beschrijving
? points 249 b
102.78 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Atlantides Vincent Jacq / Boek Gebonden (paperback)
common.buy 24.02 €
Zróbmy sobie szkołę Marcela Mikołaj / Boek Gebonden (paperback)
common.buy 5.95 €
Tak dobrá je to hra Pavel Hruška / Boek Boek
common.buy 2.51 €
Die drei ??? Erstlese-Buch zum Film, 2. Klasse, und die Toteninsel Annegret König / Boek Gebonden (harde band)
common.buy 8.57 €
Jeżyk i Jastrząb Jacek Michal Pawlowski / Boek Gebonden (harde band)
common.buy 21.19 €
Atlas de l'Amérique précolombienne Goepfert / Boek Boek
common.buy 29.78 €
Salmo 23 - Estudio Bíblico: El Pastor Conmigo / Boek Gebonden (paperback)
common.buy 16.65 €
TOP
Sherlock Holmes. Uno studio in rosso Arthur Conan Doyle / Boek Gebonden (harde band)
common.buy 11.60 €
DINOSAURIOS EDICIONES / Boek Boek
common.buy 7.26 €
Un week-end sur deux et la moitié des vacances scolaires Samuel Doux / Boek Gebonden (paperback)
common.buy 24.02 €
Uber Die Sprache Der Alten Preussen In Ihren Verwandtschaftlichen Beziehungen (1853) Franz Bopp / Boek Gebonden (paperback)
common.buy 19.28 €
Kfz und Panzer der Achsenmächte Gabriele Faggioni / Boek Gebonden (harde band)
common.buy 25.54 €
desmantelamiento de la democracia y el Estado Totalitario. Tomo XV. Coleccion Tratado de Derecho Constitucional Allan R Brewer-Carias / Boek Gebonden (paperback)
common.buy 57.04 €
Mehrpersonen-Preisdifferenzierung Gerd Wilger / Boek Gebonden (paperback)
common.buy 67.34 €
Financial Restructuring Kay Barth / Boek Gebonden (paperback)
common.buy 62.89 €
Flowers of War, 1 DVD Peicong Meng / Video Dvd
common.buy 13.12 €
Verkehrsgeographie Otto Blum / Boek Gebonden (paperback)
common.buy 72.18 €
Geschichte Der Stadt Erfurt Bis Zur Unterwerfung Unter Die Mainzische Landeshoheit Im Jahre 1664 Carl Beyer / Boek Gebonden (paperback)
common.buy 13.52 €
Wordt verwacht
Feldwebel Kurt Knispel Franz Kurowski / Boek Gebonden (harde band)
common.buy 12.71 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Semantics and Proof Techniques for Optimizing VHDL Models
Auteur Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1998
Aantal pagina's 158
EAN 9781461373315
ISBN 146137331X
Libristo-code 06796876
Uitgeverij Springer-Verlag New York Inc.
Gewicht 290
Afmetingen 155 x 235 x 11

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Elektronica: stroomketens en componenten
Technologie, techniek, landbouw, industriële processen > Energietechnologie en energietechniek > Elektrotechniek
Informatica en informatietechnologie > Grafische en digitale media-applicaties > Computerondersteund ontwerp
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Wiskunde en wetenschap > Wiskunde
Informatica en informatietechnologie > Computer hardware
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Corneal Topography Jeffrey B. Robin / Boek Gebonden (paperback)
common.buy 102.78 €
Asset-backed Securitization and the Financial Crisis Nadine Senanayake / Boek Gebonden (paperback)
common.buy 33.92 €
Commentary on the Seven Penitential Psalms; Volume 1 John Fisher / Boek Gebonden (paperback)
common.buy 18.37 €
Winston Ian Wishart / Boek Gebonden (paperback)
common.buy 21.60 €
Abstract of Sir Isaac Newton's Chronology of Ancient Kingdoms. by Mr. Reid. the Second Edition. Sir Isaac Newton / Boek Gebonden (paperback)
common.buy 15.54 €
Account of the Chapel of Roslin. Containing an Historical and Geographical Description of the Ancient and Present State of That Extraordinary Piece of Robert Forbes / Boek Gebonden (paperback)
common.buy 16.25 €
Remaking Citizenship in Multicultural Europe Beatrice Halsaa / Boek Gebonden (paperback)
common.buy 60.98 €
The Paper Chase: A Chief Inspector Pointer Mystery A. E. Fielding / Boek Gebonden (paperback)
common.buy 14.83 €
Federal Registration Service of the United States Cressy Livingston Wilbur / Boek Gebonden (harde band)
common.buy 29.67 €
Chasing Down A Dream Beverly Jenkins / Boek Gebonden (paperback)
common.buy 16.35 €
Maid and the Queen Nancy Goldstone / Boek Gebonden (paperback)
common.buy 14.83 €
What's my name? ALLYSE Tiina Walsh / Boek Gebonden (paperback)
common.buy 14.83 €
Remarks Upon the Newtonian Philosophy, as Propos'd by Sir Isaac Newton, in His Principia Philosophi Naturalis; And by Dr. Gregory, in His Principia A GEORGE GORDON / Boek Gebonden (harde band)
common.buy 31.59 €
Chinese Battleship vs Japanese Cruiser Benjamin Lai / Boek Gebonden (paperback)
common.buy 18.47 €
A Description of the Medals of Washington James Ross Snowden / Boek Gebonden (paperback)
common.buy 20.49 €
The Possibilities that are YOU!: Volume 20: The Humanness of Humility Alex Bennet / Boek Gebonden (paperback)
common.buy 7.66 €
John Bull Or An Englishman's Fireside: A Comedy, In Five Acts (1803) George Colman / Boek Gebonden (paperback)
common.buy 15.44 €
Lazy Dungeon Master (Manga) Vol. 1 Youta / Boek Gebonden (paperback)
common.buy 12.31 €
While I Was Watching The Sun David Nazario / Boek Gebonden (paperback)
common.buy 15.54 €
TOP
Ballenesque ROGER BALLEN / Boek Gebonden (paperback)
common.buy 50.37 €
Targeting the Powerful Vanessa Hack / Boek Gebonden (paperback)
common.buy 77.23 €
Understanding Russianness Risto Alapuro / Boek Gebonden (harde band)
common.buy 234.54 €
Polish: An Essential Grammar Dana Bielec / Boek Gebonden (harde band)
common.buy 244.94 €
Revolting Bodies? Kathleen LeBesco / Boek Gebonden (paperback)
common.buy 38.76 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?